Bug#948109: z3: FTBFS on riscv64, needs -latomic, blocks rustc:riscv64

[Ximin Luo]

Fabian Wolff:
> Thank you for your MR, Ximin!
> 
> Do you need anything else? I see you haven't added -pthread anywhere yet; is
> this not necessary with CMake (maybe CMake adds it automatically?), and have
> you tried building on/for riscv64 again to verify that it works now?
> 

I only tried cross-compiling and in fact I get this error about pthreads:

/usr/lib/gcc-cross/riscv64-linux-gnu/9/../../../../riscv64-linux-gnu/bin/ld: cannot find -lpthreads

z3's source code doesn't mention this flag so probably cmake is adding it itself.

$ rg -i pthreads /usr/share/cmake*
/usr/share/cmake-3.15/Modules/FindThreads.cmake
[..]

So setting CMAKE_USE_PTHREADS might work.

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git