Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 835003 - sci-mathematics/z3: undefined references to `__atomic_exchange_1'
Summary: sci-mathematics/z3: undefined references to `__atomic_exchange_1'
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: riscv Linux
: Normal normal
Assignee: Mark Wright
URL: https://github.com/Z3Prover/z3/issues...
Whiteboard:
Keywords: PullRequest
Depends on:
Blocks: libatomic-linking
  Show dependency tree
 
Reported: 2022-03-12 16:57 UTC by Han Gao
Modified: 2022-03-16 23:28 UTC (History)
4 users (show)

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

Attachments
build log (build.log,632.87 KB, text/plain)
2022-03-12 16:57 UTC, Han Gao 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Han Gao 2022-03-12 16:57:10 UTC 
Created attachment 766876 [details]
build log

/usr/lib/gcc/riscv64-unknown-linux-gnu/11.2.1/../../../../riscv64-unknown-linux-gnu/bin/ld: src/api/CMakeFiles/api.dir/api_algebraic.cpp
.o: in function `.LEHE20':
api_algebraic.cpp:(.text+0x782): undefined reference to `__atomic_exchange_1'
/usr/lib/gcc/riscv64-unknown-linux-gnu/11.2.1/../../../../riscv64-unknown-linux-gnu/bin/ld: src/api/CMakeFiles/api.dir/api_algebraic.cpp
.o:api_algebraic.cpp:(.text+0xd46): more undefined references to `__atomic_exchange_1' follow
collect2: error: ld returned 1 exit status
Comment 1 Larry the Git Cow gentoo-dev 2022-03-16 19:18:17 UTC 
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21fd2b212d6410381821dd09ba0ddbb1ab1e4d3e

commit 21fd2b212d6410381821dd09ba0ddbb1ab1e4d3e
Author:     Han Gao <rabenda.cn@gmail.com>
AuthorDate: 2022-03-16 16:13:33 +0000
Commit:     Jakov Smolić <jsmolic@gentoo.org>
CommitDate: 2022-03-16 19:18:07 +0000

    sci-mathematics/z3: fix link atomic in riscv
    
    Bug: https://bugs.gentoo.org/835003
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Han Gao <rabenda.cn@gmail.com>
    Closes: https://github.com/gentoo/gentoo/pull/24519
    Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>

 sci-mathematics/z3/files/z3-4.8.14-libatomic.patch | 60 ++++++++++++++++++++++
 sci-mathematics/z3/z3-4.8.14.ebuild                |  4 ++
 2 files changed, 64 insertions(+)