Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 840381 Details for
Bug 884557
sci-mathematics/picosat-965 - picomcs.c:(<snip>) undefined reference to picosat_init
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:picosat-965:20221206-035816.log
sci-mathematics:picosat-965:20221206-035816.log (text/plain), 20.03 KB, created by
Toralf Förster
on 2022-12-06 08:34:39 UTC
(
hide
)
Description:
sci-mathematics:picosat-965:20221206-035816.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2022-12-06 08:34:39 UTC
Size:
20.03 KB
patch
obsolete
> * Package: sci-mathematics/picosat-965:0 > * Repository: gentoo > * Maintainer: sci-mathematics@gentoo.org > * 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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: 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 shuffle=855284799 >make: *** Waiting for unfinished jobs.... >/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+0x14): 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 >make: *** [makefile:22: picomus] Error 1 shuffle=855284799 >/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+0x272): 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+0x385): 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+0x49a): undefined reference to `picosat_message' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x4ba): undefined reference to `picosat_message' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x4d0): 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+0x610): undefined reference to `picosat_message' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x628): 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+0x63e): 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+0x654): undefined reference to `picosat_stats' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x66a): undefined reference to `picosat_message' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x682): undefined reference to `picosat_message' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x698): 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+0x868): 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+0xaa0): undefined reference to `picosat_init' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xad0): undefined reference to `picosat_enter' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xaeb): 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+0xafd): 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+0xb0d): 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+0xb33): 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+0xb71): 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+0xb9a): 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+0xbbc): 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+0xc41): undefined reference to `picosat_version' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xd51): undefined reference to `picosat_config' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xe4e): undefined reference to `picosat_leave' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0xe7a): undefined reference to `picosat_reset' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x11c8): undefined reference to `picosat_adjust' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x11e3): 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+0x12d1): undefined reference to `picosat_add' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x13a5): 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+0x144e): undefined reference to `picosat_version' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1477): undefined reference to `picosat_copyright' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1495): undefined reference to `picosat_config' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1a08): 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+0x1a26): undefined reference to `picosat_sat' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1ab6): undefined reference to `picosat_stats' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1abb): 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+0x1b1a): undefined reference to `picosat_variables' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b47): undefined reference to `picosat_deref' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b8c): undefined reference to `picosat_add' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b9b): undefined reference to `picosat_add' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1bf2): undefined reference to `picosat_assume' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c51): 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+0x1c5f): undefined reference to `picosat_variables' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1cc2): undefined reference to `picosat_variables' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1d01): 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+0x1d29): undefined reference to `picosat_deref' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1e2c): undefined reference to `picosat_print' >/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1e79): 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+0x1ea0): 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+0x1eda): 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+0x1fa8): undefined reference to `picosat_write_rup_trace' >collect2: error: ld returned 1 exit status >make: *** [makefile:16: picosat] Error 1 shuffle=855284799 > * 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-035816.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' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 884557
:
840371
|
840373
|
840375
|
840377
|
840379
| 840381 |
840383