link atomic failed in non-x86

[RevySR]

/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

[RevySR]

https://bugs.gentoo.org/835003

build failed on gentoo riscv

[RevySR]

cmake/modules/CheckAtomic.cmake

A detection atomic-linking need method

[NikolajBjorner]

Not sure what the purpose of filing the bug here. Based on the link, this is just a way to exercise a bug in the build system for whether a platform supports one form of atomic operations or not.
Are you planning to submit a GitHub Action to build for riscv?

[RevySR]

Not sure what the purpose of filing the bug here. Based on the link, this is just a way to exercise a bug in the build system for whether a platform supports one form of atomic operations or not. Are you planning to submit a GitHub Action to build for riscv?

riscvarchive/riscv-gcc#12

According to this, I'd like to improve compatibility for different toolchains on z3

[NikolajBjorner]

Then it is external.
You are welcome to add GitHub actions to build on different tool chains similar to other actions added (e.g., for arm).

[RevySR]

https://github.com/Rabenda/z3/runs/5528565978?check_suite_focus=true

Add riscv64 build but same problem.