Linker error when building boolector from source

[yzh119]

Hi boolector developers,

I followed the instruction on README, and met the following linker error when building boolector from source on my desktop:

Consolidate compiler generated dependencies of target boolector
[ 87%] Built target boolector
Consolidate compiler generated dependencies of target boolector-bin
[ 89%] Linking CXX executable ../bin/boolector
/usr/bin/ld: cannot find -lstdc++
/usr/bin/ld: cannot find -lm
/usr/bin/ld: cannot find -lc
collect2: error: ld returned 1 exit status

Any ideas on how to fix it?

Environment:

• os: fedora 36;
• gcc/g++ version: 12.1.1;
• cmake version: 3.22.5;

[aytey]

You either need to install the static components for your compiler (something like dnf install libstdc++-static glibc-static) or pass --shared to Boolector's configure script.

[yzh119]

That works, @aytey thank you!