Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 884557 - sci-mathematics/picosat-965 - picomcs.c:(<snip>) undefined reference to picosat_init
Summary: sci-mathematics/picosat-965 - picomcs.c:(<snip>) undefined reference to picos...
Status: RESOLVED DUPLICATE of bug 884531
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-12-06 08:34 UTC by Toralf Förster
Modified: 2022-12-06 09:12 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,20.27 KB, text/plain)
2022-12-06 08:34 UTC, Toralf Förster
Details
emerge-history.txt.bz2 (emerge-history.txt.bz2,69.35 KB, application/x-bzip)
2022-12-06 08:34 UTC, Toralf Förster
Details
environment (environment,59.79 KB, text/plain)
2022-12-06 08:34 UTC, Toralf Förster
Details
etc.clang.tar.bz2 (etc.clang.tar.bz2,698 bytes, application/x-bzip)
2022-12-06 08:34 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,21.98 KB, application/x-bzip)
2022-12-06 08:34 UTC, Toralf Förster
Details
sci-mathematics:picosat-965:20221206-035816.log (sci-mathematics:picosat-965:20221206-035816.log,20.03 KB, text/plain)
2022-12-06 08:34 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,17.23 KB, application/x-bzip)
2022-12-06 08:34 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-12-06 08:34:33 UTC
too long lines were shrinked:

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'

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd-j4-20221203-111136

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

GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.6
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 11.0.17_p8 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

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

  HEAD of ::gentoo
commit 4e7ddae9d0fb3303d2257b9c07b86dbcd78ffb73
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Dec 6 03:16:50 2022 +0000

    2022-12-06 03:16:49 UTC

emerge -qpvO sci-mathematics/picosat
[ebuild  N    ] sci-mathematics/picosat-965
Comment 1 Toralf Förster gentoo-dev 2022-12-06 08:34:34 UTC
Created attachment 840371 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-12-06 08:34:35 UTC
Created attachment 840373 [details]
emerge-history.txt.bz2
Comment 3 Toralf Förster gentoo-dev 2022-12-06 08:34:37 UTC
Created attachment 840375 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-12-06 08:34:37 UTC
Created attachment 840377 [details]
etc.clang.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-12-06 08:34:38 UTC
Created attachment 840379 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-12-06 08:34:39 UTC
Created attachment 840381 [details]
sci-mathematics:picosat-965:20221206-035816.log
Comment 7 Toralf Förster gentoo-dev 2022-12-06 08:34:40 UTC
Created attachment 840383 [details]
temp.tar.bz2
Comment 8 Agostino Sarubbo gentoo-dev 2022-12-06 09:12:26 UTC

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