search

GaloisInc / LinearArbitrary-SeaHorn

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

Build fail #4

Open anjanaskumar27 opened 3 years ago

anjanaskumar27 commented 3 years ago

I tried on both Ubuntu and Mac OS, facing same issue. I did cmake -DCMAKE_INSTALL_PREFIX=run ../ from the build directory, got: -- The C compiler identification is GNU 5.5.0 -- The CXX compiler identification is GNU 5.5.0 -- Check for working C compiler: /usr/bin/gcc-5 -- Check for working C compiler: /usr/bin/gcc-5 -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/g++-5 -- Check for working CXX compiler: /usr/bin/g++-5 -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Git: /usr/bin/git (found version "2.17.1") -- Boost version: 1.65.1 -- Found the following Boost libraries: -- system -- Could NOT find Z3 (missing: Z3_LIBRARY Z3_INCLUDE_DIR Z3_EXECUTABLE) (Required is at least version "4.3.2") CMake Warning at CMakeLists.txt:125 (message): No Z3 found. Run

cmake --build .  && cmake ../LinearArbitrary-SeaHorn

-- Could NOT find LLVM (missing: LLVM_DIR) CMake Warning at CMakeLists.txt:157 (message): No llvm found. Run

cmake --build .  && cmake ../LinearArbitrary-SeaHorn

-- Configuring done -- Generating done -- Build files have been written to: ../LinearArbitrary-SeaHorn/build

However, when I run cmake --build . I get: [ 5%] Creating directories for 'llvm' [ 11%] Performing download step (SVN checkout) for 'llvm' svn: E170011: Repository moved temporarily to 'https://llvm.org/svn/llvm-project/llvm/tags/RELEASE_360/final' CMakeFiles/llvm.dir/build.make:90: recipe for target 'llvm-prefix/src/llvm-stamp/llvm-download' failed make[2]: [llvm-prefix/src/llvm-stamp/llvm-download] Error 1 CMakeFiles/Makefile2:131: recipe for target 'CMakeFiles/llvm.dir/all' failed make[1]: [CMakeFiles/llvm.dir/all] Error 2 Makefile:94: recipe for target 'all' failed make: *** [all] Error 2

I am not sure what the issue is, should I install Z3 and LLVM first or it might be the svn version? Any help is appreciated, thanks!

satbekmyrza commented 3 years ago

z3 and llvm migrated to Github. Need to update repo links to solve this issue.