>>> Building on sparc64-2c under devel/cbmc
	BDEPENDS = [lang/gcc/8;lang/gcc/8,-c++;lang/gcc/8,-libs;devel/bison;devel/gmake]
	DIST = [devel/cbmc:minisat2_2.2.1.orig.tar.gz;devel/cbmc:cbmc-cbmc-6.7.1.tar.gz]
	FULLPKGNAME = cbmc-6.7.1
	RDEPENDS = [lang/gcc/8,-libs]
Woken up emulators/mednafen
Woken up emulators/mednafen
(Junk lock failure for sparc64-2c at 1758983328.16803)
Received IO
(Junk lock obtained for sparc64-2c at 1758983412.91)
Received IO
Short-cut: depends already handled by emulators/mednafen
>>> Running show-prepare-results in devel/cbmc at 1758983419.03
===> devel/cbmc
bison-3.8.2p0
g++-8.4.0p28
gcc-8.4.0p28
gcc-libs-8.4.0p28
gmake-4.4.1p0
(Junk lock released for sparc64-2c at 1758983419.86)
Woken up textproc/aspell/dicts/fa
distfiles size=9199736
>>> Running patch in devel/cbmc at 1758983419.98
===> devel/cbmc
>>> Running configure in devel/cbmc at 1758983429.47
===> devel/cbmc
>>> Running build in devel/cbmc at 1758983430.75
===> devel/cbmc
===>  Building for cbmc-6.7.1
## Entering big-int
gmake  -C big-int
gmake[1]: Entering directory '/usr/obj/ports/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int'
ar rcT big-int.a bigint-func.o bigint.o
ar: illegal option -- T
Usage: ar [emulation options] [-]{dmpqrstx}[abcfilNoPsSuvV] [member-name] [count] archive-file file...
       ar -M [<mri-script]
 commands:
  d            - delete file(s) from the archive
  m[ab]        - move file(s) in the archive
  p            - print file(s) found in the archive
  q[f]         - quick append file(s) to the archive
  r[ab][f][u]  - replace existing or insert new file(s) into the archive
  t            - display contents of archive
  x[o]         - extract file(s) from the archive
 command specific modifiers:
  [a]          - put file(s) after [member-name]
  [b]          - put file(s) before [member-name] (same as [i])
  [N]          - use instance [count] of name
  [f]          - truncate inserted file names
  [P]          - use full path names when matching
  [o]          - preserve original dates
  [u]          - only replace files that are newer than current archive contents
  [D]          - set deterministic attributes in archive
  [U]          - set accurate attributes in archive
 generic modifiers:
  [c]          - do not warn if the library had to be created
  [s]          - create an archive index (cf. ranlib)
  [S]          - do not build a symbol table
  [v]          - be verbose
  [V]          - display the version number
  @<file>      - read options from <file>
 emulation options: 
  No emulation specific options
ar: supported targets: elf64-sparc elf32-sparc a.out-sunos-big elf64-little elf64-big elf32-little elf32-big srec symbolsrec tekhex binary ihex netbsd-core
gmake[1]: *** [makefile:10: big-int.a] Error 1
gmake[1]: Leaving directory '/usr/obj/ports/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int'
gmake: *** [Makefile:133: big-int.dir] Error 2
*** Error 2 in devel/cbmc (/usr/ports/infrastructure/mk/bsd.port.mk:3069 '/usr/obj/ports/cbmc-6.7.1/.build_done': @cd /usr/obj/ports/cbmc-6....)
*** Error 2 in devel/cbmc (/usr/ports/infrastructure/mk/bsd.port.mk:2712 'build': @lock=cbmc-6.7.1;  export _LOCKS_HELD=" cbmc-6.7.1";   /us...)
===> Exiting devel/cbmc with an error
*** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo};  : ${target:=build};  for i in ; do  eval...)
>>> Ended at 1758983432.05
max_stuck=54.96/waiting-for-lock #117=90.88/show-prepare-results=0.93/patch=9.41/configure=1.38/build=1.38
Error: job failed with 512 on sparc64-2c at 1758983432