Bug 884531 – sci-mathematics/picosat-965 fails to compile: picomcs.c:(.text.startup+0x4ad): undefined reference to picosat_init

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2022-12-06 06:54:43 UTC]

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/picosat-965 fails to compile.
Discovered on: amd64 (internal ref: ci)

[Comment 1 Agostino Sarubbo 2022-12-06 06:54:45 UTC]

Created attachment 840347 [details]
build.log

build log and emerge --info

[Comment 2 Agostino Sarubbo 2022-12-06 06:54:46 UTC]

Error(s) that match a know pattern in addition to what has been reported in the summary:


+0x+0x/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld1a16fe: ))app.o: undefined reference to `: undefined reference to `: in function `picosat_addpicosat_addcatch'
+0x: picomus.c:2fepicomcs.c:()(.text: undefined reference to `.text.startup+0xpicosat_failed_assumption37e+0x'
142f): undefined reference to `picosat_config/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld'
5e0)/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld): undefined reference to `: : undefined reference to `picosat_time_stamppicomus.c:picosat_message'
app.c:picomus.c:((.text.text.startup+0x+0x1168a9f)): undefined reference to `: undefined reference to `picosat_adjustpicosat_assume'
app.c:(.text+0x1411/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld): : undefined reference to `picomus.c:picosat_copyright('
app.c:(.text+0x385/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld): : undefined reference to `picomus.opicosat_variables: in function `'
e0d/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld): : undefined reference to `picomus.opicosat_leave:'
picogcnf.c:678app.c:()(.text: undefined reference to `.text+0xpicosat_set_verbosity+0x151'
picomcs.c:app.c:((.text.startup.text+0x+0x2726f0)): undefined reference to `: undefined reference to `picosat_variablespicosat_reset'
picomcs.c:(.text.startup+0x4ad): undefined reference to `picosat_init'
: picomus.c:app.c:((.text.startup.text+0x+0x143b5)): undefined reference to `: undefined reference to `picosat_time_stamppicosat_corelit'
picomus.c:app.c:((.text.startup.text+0x+0x631482)): undefined reference to `: undefined reference to `picosat_initpicosat_message'
picomus.c:(/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld.text.startup: +0xapp.c:a13().text: undefined reference to `+0xpicosat_addd19'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld.text.startup(: +0x.text.startupapp.c:4f0+0x()847.text: undefined reference to `)+0xpicosat_add: undefined reference to `a6f'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(892.text)+0x: undefined reference to `a9fpicosat_time_stamp)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(900.text)+0x: undefined reference to `abapicosat_reset)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(905.text)+0x: undefined reference to `accpicosat_init)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(91b.text)+0x: undefined reference to `adcpicosat_set_prefix)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(92b.text)+0x: undefined reference to `b02picosat_set_output)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(967.text)+0x: undefined reference to `b40picosat_enable_trace_generation)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(9a6.text)+0x: undefined reference to `b69picosat_add)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(9b7.text)+0x: undefined reference to `b8bpicosat_add)'
picomus.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .text.startupapp.c:+0x(9c5.text)+0x: undefined reference to `c11picosat_add)'
(.text+0x1a5a): undefined reference to `picosat_time_stamp'
.text.startup+0xapp.c:+0x30b(809).text): undefined reference to `+0x: undefined reference to `picosat_mus_assumptions838'
.text.startup/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld+0x: 684app.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld)(: : undefined reference to `.textpicogcnf.opicosat_enable_trace_generation+0x: in function `'
(.text.startup/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld+0x: a34app.c:)(: undefined reference to `.textpicosat_add+0x'
.text.startup/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld+0x: e3dapp.c:)(: undefined reference to `.textpicosat_deref+0x'
(.text.startup/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld.text.startup+0x: +0x47app.o6d8):): undefined reference to `app.c:: undefined reference to `picosat_init(picosat_set_seed'
: undefined reference to `: picogcnf.c:picosat_messagepicomus.c:('
: undefined reference to `picosat_variables'
: undefined reference to `: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicogcnf.c:picosat_time_stamp: ('
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_enable_trace_generation: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_enter: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_init: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_reset: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_save_original_clauses: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_global_default_phase: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_output: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_plain: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_propagation_limit: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_verbosity: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_time_stamp: '
: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_version: '
)/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/lda9c: undefined reference to `: )picosat_time_stampapp.o: undefined reference to `'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:: picogcnf.c:(picomus.c:(.text(.text.startup+0x.text.startup+0x624+0x1fd)70f): undefined reference to `): undefined reference to `picosat_stats: undefined reference to `picosat_assume'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x19c6): undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1a55): undefined reference to `picosat_stats'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1ae7): undefined reference to `picosat_deref'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b2d): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b3c): undefined reference to `picosat_add'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1b91): undefined reference to `picosat_assume'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1be9): undefined reference to `collect2: error: ld returned 1 exit status
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1bf7): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c5a): undefined reference to `picosat_variables'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1c91): 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+0x1cbd): undefined reference to `picosat_deref'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1dab): undefined reference to `picosat_print'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:(.text+0x1df7): 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+0x1e1e): 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+0x1e58): 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+0x1f24): undefined reference to `picosat_write_rup_trace'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld(: .textpicomus.c:+0x(13e8.text.startup)+0x: undefined reference to `c71picosat_version)'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x4d1): 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+0x54b): 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+0x56c): 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+0x580): 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+0x5ca): 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+0x5f5): 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+0x662): undefined reference to `app.opicosat_humus: in function `'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: picomcs.c:(.text.startup+0x/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld60c: ): undefined reference to `picosat_sat'
: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicomus.c:: (app.c:.text.startup(+0x.textfa4+0x)19a8: undefined reference to `)picosat_mus_assumptions: undefined reference to `'
)/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: undefined reference to `: picomus.opicosat_next_minimal_correcting_subset_of_assumptionsapp.c:: in function `'
)/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: undefined reference to `: picosat_configcollect2: error: ld returned 1 exit status
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:: picogcnf.c:(picomus.c:(.text(.text.startup+0x.text.startup+0x63a+0x21c)71d): undefined reference to `): undefined reference to `picosat_message: undefined reference to `picosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:: picogcnf.c:(picomus.c:(.text(.text.startup+0x.text.startup+0x652+0x265)761): undefined reference to `): undefined reference to `picosat_message: undefined reference to `picosat_max_bytes_allocated'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: app.c:: picogcnf.c:(picomus.c:(.text(.text.startup+0x.text.startup+0x668+0x29c)790): undefined reference to `): undefined reference to `picosat_message: undefined reference to `picosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: : app.c:picomus.c:((.text.text.startup+0x+0x1181aba)): undefined reference to `: undefined reference to `picosat_set_incremental_rup_filepicosat_sat'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: : app.c:picomus.c:((.text.text.startup+0x+0x126baff)): undefined reference to `: undefined reference to `picosat_addpicosat_stats'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: : app.c:picomus.c:((.text.text.startup+0x+0x133fb0b)): undefined reference to `: undefined reference to `picosat_set_interruptpicosat_reset'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: /usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldapp.c:: (.textpicomcs.c:+0x(2b0.text.startup)+0x/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: undefined reference to `8e0: picosat_failed_assumption'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: : picomus.c:app.c:((.text.startup.text+0x+0x6474a2)): undefined reference to `: undefined reference to `picosat_set_prefixpicosat_message'
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: : picomus.c:app.c:((.text.startup.text+0x+0x65e4b8)): undefined reference to `: undefined reference to `/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ldpicosat_set_output: picosat_message'
)/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: undefined reference to `: picosat_configcollect2: error: ld returned 1 exit status

[Comment 3 Agostino Sarubbo 2022-12-06 09:12:26 UTC]

*** Bug 884557 has been marked as a duplicate of this bug. ***

[Comment 4 Agostino Sarubbo 2022-12-06 09:13:08 UTC]

*** Bug 884559 has been marked as a duplicate of this bug. ***

[Comment 5 Agostino Sarubbo 2023-01-11 05:04:13 UTC]

ci has reproduced this issue with version 965-r1 - Updating summary.

[Comment 6 Agostino Sarubbo 2024-04-09 09:31:57 UTC]

ci has reproduced this issue with version 965 - Updating summary.