Open
Description
Hello,
I am currently trying to build esbmc with solidity frontend, however, I keep getting an error when using the following build command provided in the instruction
cd esbmc && mkdir build && cd build && cmake .. -GNinja -DBUILD_TESTING=On -DENABLE_REGRESSION=On -DBUILD_STATIC=${ESBMC_STATIC:-ON} $ESBMC_CLANG -DBoolector_DIR=$PWD/../../boolector-release -DZ3_DIR=$PWD/../../z3 -DENABLE_MATHSAT=On -DMathsat_DIR=$PWD/../../mathsat -DENABLE_YICES=ON -DYices_DIR=$PWD/../../yices -DC2GOTO_SYSROOT=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk -DBitwuzla_DIR=$PWD/../../bitwuzla-release -DCMAKE_INSTALL_PREFIX:PATH=$PWD/../../release -DENABLE_SOLIDITY_FRONTEND=On
Here is the error message:
CMake Error at scripts/cmake/FindLocalLLVM.cmake:83 (message):
Cannot compile against Clang: Change Dir:
'/Users/danielreynaldi/seminar/esbmc/build/CMakeFiles/CMakeTmp'
Run Build Command(s): /opt/homebrew/bin/ninja -v cmTC_9801e
[1/2] /usr/bin/c++
-I/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/include
-std=gnu++17 -arch arm64 -fPIE -MD -MT
CMakeFiles/cmTC_9801e.dir/try_clang.cc.o -MF
CMakeFiles/cmTC_9801e.dir/try_clang.cc.o.d -o
CMakeFiles/cmTC_9801e.dir/try_clang.cc.o -c
/Users/danielreynaldi/seminar/esbmc/scripts/cmake/try_clang.cc
[2/2] : && /usr/bin/c++ -arch arm64 -Wl,-search_paths_first
-Wl,-headerpad_max_install_names CMakeFiles/cmTC_9801e.dir/try_clang.cc.o
-o cmTC_9801e
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangTooling.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangAST.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangIndex.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangFormat.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangToolingInclusions.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangFrontend.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangDriver.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMWindowsDriver.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMOption.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangParse.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSerialization.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSema.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangEdit.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangAnalysis.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangASTMatchers.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMFrontendOpenMP.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMScalarOpts.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAggressiveInstCombine.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMInstCombine.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTransformUtils.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAnalysis.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMProfileData.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMSymbolize.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoPDB.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoMSF.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoDWARF.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMObject.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMIRReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAsmParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMMCParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMMC.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoCodeView.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTextAPI.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSupport.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMFrontendHLSL.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBitReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangToolingCore.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangRewrite.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangLex.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangBasic.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMCore.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBinaryFormat.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTargetParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMRemarks.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBitstreamReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMSupport.a
-lrt -ldl -lpthread -lm
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/lib/libcurses.tbd
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDemangle.a
&& :
FAILED: cmTC_9801e
: && /usr/bin/c++ -arch arm64 -Wl,-search_paths_first
-Wl,-headerpad_max_install_names CMakeFiles/cmTC_9801e.dir/try_clang.cc.o
-o cmTC_9801e
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangTooling.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangAST.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangIndex.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangFormat.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangToolingInclusions.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangFrontend.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangDriver.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMWindowsDriver.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMOption.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangParse.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSerialization.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSema.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangEdit.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangAnalysis.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangASTMatchers.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMFrontendOpenMP.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMScalarOpts.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAggressiveInstCombine.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMInstCombine.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTransformUtils.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAnalysis.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMProfileData.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMSymbolize.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoPDB.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoMSF.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoDWARF.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMObject.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMIRReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMAsmParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMMCParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMMC.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDebugInfoCodeView.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTextAPI.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangSupport.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMFrontendHLSL.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBitReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangToolingCore.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangRewrite.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangLex.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libclangBasic.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMCore.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBinaryFormat.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMTargetParser.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMRemarks.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMBitstreamReader.a
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMSupport.a
-lrt -ldl -lpthread -lm
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/lib/libcurses.tbd
/Users/danielreynaldi/seminar/esbmc/build/LLVM/clang+llvm-16.0.0-x86_64-linux-gnu-ubuntu-18.04/lib/libLLVMDemangle.a
&& :
ld: library 'rt' not found
clang: error: linker command failed with exit code 1 (use -v to see
invocation)
ninja: build stopped: subcommand failed.
Call Stack (most recent call first):
CMakeLists.txt:104 (include)
Metadata
Metadata
Assignees
Labels
No labels