GaloisInc / LinearArbitrary-SeaHorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Other
21 stars 8 forks source link

Questions in installing #2

Open z971586668 opened 5 years ago

z971586668 commented 5 years ago

Hi, I was trying to install the tool and at step 3 cmake --build . get the error of /usr/bin/ld: avy/libavy.a(AvyDebug.cc.o): relocation R_X86_64_PC32 against undefined symbol `_ZTVN4llvm2cl6parserINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE' can not be used when making a shared object; recompile with -fPIC /usr/bin/ld: final link failed: Bad value collect2: error: ld returned 1 exit status lib/CMakeFiles/checks.dir/build.make:147: recipe for target 'lib/checks.so' failed make[2]: [lib/checks.so] Error 1 CMakeFiles/Makefile2:1973: recipe for target 'lib/CMakeFiles/checks.dir/all' failed make[1]: [lib/CMakeFiles/checks.dir/all] Error 2 Makefile:162: recipe for target 'all' failed make: *** [all] Error 2

I am using gcc 5 as complier, could you please help to solve the problem? Thank you very much !