search

dannybpoulsen / minimc

7 stars 2 forks source link

Compilation problems with branch uppllvm #27

Closed Lqs66 closed 7 months ago

Lqs66 commented 8 months ago

Dear Developer. I am experiencing the following problem while compiling minimc:

[ 13%] Linking CXX executable testt
/usr/bin/ld: ../libs/cvc4/libcvc4.a(builder.cpp.o): undefined reference to symbol '__gmpz_init_set_si'
/usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/libgmp.so: error adding symbols: DSO missing from command line
collect2: error: ld returned 1 exit status

Can you help me to solve it?