sci-mathematics:picosat-965:20221206-052643.log

sci-mathematics:picosat-965:20221206-052643.log (text/plain), 20.28 KB, created by Toralf Förster on 2022-12-06 08:34:54 UTC

 * Package:    sci-mathematics/picosat-965:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking picosat-965.tar.gz to /var/tmp/portage/sci-mathematics/picosat-965/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/picosat-965/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/picosat-965/work/picosat-965 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/picosat-965/work/picosat-965 ...
version ... 965
debug ... no
log ... no
stats ... no
trace ... yes
static ... no
shared ... yes
targets ... picosat picomcs picomus picogcnf libpicosat.a libpicosat.so
cc ... x86_64-pc-linux-gnu-gcc
cflags ... -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -fPIC
makefile ... done
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/picosat-965/work/picosat-965 ...
make -j4 'CFLAGS=-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC' 
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c picosat.c
rm -f config.h; ./mkconfig.sh > config.h
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c app.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c main.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c picomcs.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c picomus.c
In file included from picosat.c:26:
picosat.c: In function ‘fixvar’:
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |                       ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
  180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
      |                    ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
 1943 |   assert (VAR2LIT (v) != UNDEF);
      |           ^~~~~~~
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c picogcnf.c
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -c version.c
ar rc libpicosat.a picosat.o version.o
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -shared -o libpicosat.so picosat.o version.o -Xlinker -soname -Xlinker libpicosat.so
ranlib libpicosat.a
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -o picosat main.o app.o -L. -lpicosat
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -o picomcs picomcs.o -L. -lpicosat
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -o picomus picomus.o -L. -lpicosat
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fPIC -o picogcnf picogcnf.o -L. -lpicosat
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `write_failed_assumptions':
app.c:(.text+0x276): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x2b0): undefined reference to `picosat_failed_assumption'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x306): undefined reference to `picosat_failed_assumption'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `write_core_variables':
app.c:(.text+0x389): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x3bc): undefined reference to `picosat_corelit'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `interrupt_call_back':
app.c:(.text+0x4aa): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x4ca): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x4e0): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `catch':
app.c:(.text+0x630): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x648): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o:app.c:(.text+0x65e): more undefined references to `picosat_message' follow
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `catch':
app.c:(.text+0x674): undefined reference to `picosat_stats'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x68a): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x6a2): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x6b8): undefined reference to `picosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.o: in function `picosat_main':
app.c:(.text+0x88c): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xad0): undefined reference to `picosat_init'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xb00): undefined reference to `picosat_enter'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xb1b): undefined reference to `picosat_set_output'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xb2d): undefined reference to `picosat_set_verbosity'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xb3d): undefined reference to `picosat_set_plain'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xb63): undefined reference to `picosat_enable_trace_generation'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xba1): undefined reference to `picosat_set_global_default_phase'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xbca): undefined reference to `picosat_set_propagation_limit'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xbec): undefined reference to `picosat_save_original_clauses'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xc71): undefined reference to `picosat_version'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xd81): undefined reference to `picosat_config'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xe7e): undefined reference to `picosat_leave'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xeaa): undefined reference to `picosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x11f8): undefined reference to `picosat_adjust'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1213): undefined reference to `picosat_set_incremental_rup_file'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1301): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x13d5): undefined reference to `picosat_set_interrupt'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x147e): undefined reference to `picosat_version'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x14a7): undefined reference to `picosat_copyright'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x14c5): undefined reference to `picosat_config'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1a38): undefined reference to `picosat_set_seed'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1a56): undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1ae6): undefined reference to `picosat_stats'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1aeb): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b4a): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b77): undefined reference to `picosat_deref'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1bbc): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1bcb): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c22): undefined reference to `picosat_assume'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c81): undefined reference to `picosat_added_original_clauses'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c8f): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1cf2): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1d31): undefined reference to `picosat_deref_partial'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1d59): undefined reference to `picosat_deref'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1e5c): undefined reference to `picosat_print'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1ea9): undefined reference to `picosat_write_compact_trace'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1ed0): undefined reference to `picosat_write_extended_trace'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1f0a): undefined reference to `picosat_write_clausal_core'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1fd8): undefined reference to `picosat_write_rup_trace'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.o: in function `callback':
picomus.c:(.text+0x37c): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.o: in function `main':
picomus.c:(.text.startup+0x18): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x646): undefined reference to `picosat_init'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x65c): undefined reference to `picosat_set_prefix'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x672): undefined reference to `picosat_set_output'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x68c): undefined reference to `picosat_set_verbosity'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x698): undefined reference to `picosat_enable_trace_generation'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x6ef): undefined reference to `picosat_set_seed'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x716): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x727): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x735): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x785): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x7b1): undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x831): undefined reference to `picosat_coreclause'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x86c): undefined reference to `picosat_coreclause'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x8c1): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x922): undefined reference to `picosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x927): undefined reference to `picosat_init'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x93d): undefined reference to `picosat_set_prefix'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x94c): undefined reference to `picosat_set_output'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x988): undefined reference to `picosat_enable_trace_generation'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x9c6): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x9d7): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0x9e5): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xa33): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xa5c): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.o:picomus.c:(.text.startup+0xa71): more undefined references to `picosat_add' follow
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.o: in function `main':
picomus.c:(.text.startup+0xacf): undefined reference to `picosat_assume'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xaea): undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xb31): undefined reference to `picosat_stats'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xb3d): undefined reference to `picosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xc9f): undefined reference to `picosat_time_stamp'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xe6c): undefined reference to `picosat_deref'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomus.c:(.text.startup+0xfc6): undefined reference to `picosat_mus_assumptions'
collect2: error: ld returned 1 exit status
collect2: error: ld returned 1 exit status
make: *** [makefile:16: picosat] Error 1
make: *** Waiting for unfinished jobs....
make: *** [makefile:22: picomus] Error 1
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.o: in function `main':
picomcs.c:(.text.startup+0x4bb): undefined reference to `picosat_init'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x4df): undefined reference to `picosat_set_prefix'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x56b): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x58c): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x5a0): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x5f1): undefined reference to `picosat_set_default_phase_lit'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x61c): undefined reference to `picosat_assume'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x633): undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x689): undefined reference to `picosat_humus'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x70f): undefined reference to `picosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x908): undefined reference to `picosat_next_minimal_correcting_subset_of_assumptions'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0xacb): undefined reference to `picosat_stats'
collect2: error: ld returned 1 exit status
make: *** [makefile:19: picomcs] Error 1
 * ERROR: sci-mathematics/picosat-965::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/picosat-965::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/picosat-965::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:picosat-965:20221206-052643.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/picosat-965/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/picosat-965/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/picosat-965/work/picosat-965'
 * S: '/var/tmp/portage/sci-mathematics/picosat-965/work/picosat-965'