Bug 884559

Summary:	sci-mathematics/picosat-965 - app.c:(.text+<snip>): undefined reference to picosat_variables
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED DUPLICATE
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.portage.tar.bz2 sci-mathematics:picosat-965:20221206-052643.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2022-12-06 08:34:49 UTC

too long lines were shrinked:

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'

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no_multilib_hardened-j4-20221205-193915

  -------------------------------------------------------------------

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
Python 3.10.8
Available Rust versions:
  [1]   rust-bin-1.65.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
*)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-17 

The Glorious Glasgow Haskell Compilation System, version 8.10.6
php cli (if any):

  HEAD of ::gentoo
commit 31014b389b3c398d40f2da37d05cd4b725a263d4
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Dec 6 05:01:54 2022 +0000

    2022-12-06 05:01:54 UTC

emerge -qpvO sci-mathematics/picosat
[ebuild  N    ] sci-mathematics/picosat-965

Comment 1 Toralf Förster gentoo-dev

2022-12-06 08:34:50 UTC

Created attachment 840385 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2022-12-06 08:34:51 UTC

Created attachment 840387 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2022-12-06 08:34:52 UTC

Created attachment 840389 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2022-12-06 08:34:53 UTC

Created attachment 840391 [details]
etc.portage.tar.bz2

Comment 5 Toralf Förster gentoo-dev

2022-12-06 08:34:54 UTC

Created attachment 840393 [details]
sci-mathematics:picosat-965:20221206-052643.log

Comment 6 Toralf Förster gentoo-dev

2022-12-06 08:34:55 UTC

Created attachment 840395 [details]
temp.tar.bz2

Comment 7 Agostino Sarubbo gentoo-dev

2022-12-06 09:13:08 UTC


*** This bug has been marked as a duplicate of bug 884531 ***