Merge branch 'refs/heads/vara-dev' into f-FeaturePerfPrecision-Fixes

se-sic · Apr 22, 2024 · e746003 · e746003
2 parents cc109e2 + b7f2480
commit e746003
Showing 1 changed file with 20 additions and 4 deletions.
diff --git a/docs/source/research_tool_docs/vara/add_setup_infos/clion_setup.rst b/docs/source/research_tool_docs/vara/add_setup_infos/clion_setup.rst
@@ -22,24 +22,31 @@ How to set up VaRA/LLVM in CLion
            -DBUILD_SHARED_LIBS=ON
            -DCMAKE_C_FLAGS_DEBUG="-O2 -g -fno-omit-frame-pointer"
            -DCMAKE_CXX_FLAGS_DEBUG="-O2 -g -fno-omit-frame-pointer"
+           -DCMAKE_SHARED_LINKER_FLAGS="-Wl,--undefined-version"
            -DCMAKE_CXX_STANDARD=17
            -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
            -DCMAKE_INSTALL_PREFIX=<varats_root>/tools/VaRA
            -DLLVM_ENABLE_ASSERTIONS=ON
            -DLLVM_ENABLE_BINDINGS=OFF
            -DLLVM_ENABLE_EH=ON
-           -DLLVM_ENABLE_LDD=ON
+           -DLLVM_ENABLE_LLD=ON
            -DLLVM_ENABLE_PROJECTS="clang;lld;compiler-rt;clang-tools-extra;vara;phasar"
            -DLLVM_ENABLE_RTTI=ON
            -DLLVM_OPTIMIZED_TABLEGEN=ON
            -DLLVM_PARALLEL_LINK_JOBS=4
            -DLLVM_PHASAR_BUILD=ON
+           -DLLVM_TOOL_PHASAR_BUILD=ON
+           -DPHASAR_ENABLE_DYNAMIC_LOG=OFF
+           -DPHASAR_BUILD_IR=OFF
+           -DPHASAR_BUILD_UNITTESTS=OFF
            -DLLVM_TARGETS_TO_BUILD=X86
            -DLLVM_TOOL_PHASAR_BUILD=ON
-           -DLLVM_USE_NEWPM=ON
            -DUSE_HTTPS=OFF
            -DUSE_SSH=OFF
            -DVARA_BUILD_LIBGIT=ON
+           -DVARA_FEATURE_BUILD_PYTHON_BINDINGS=OFF
+           -DVARA_FEATURE_BUILD_Z3_SOLVER=ON
+           -DVARA_FEATURE_USE_Z3_SOLVER=ON
 
         Use ``-O0`` for debug builds and ``-O2`` for development builds.
 
@@ -57,22 +64,31 @@ How to set up VaRA/LLVM in CLion
            -DBUILD_SHARED_LIBS=ON
            -DCMAKE_C_FLAGS_RELEASE="-O3 -DNDEBUG -march=native -fno-omit-frame-pointer -gmlt"
            -DCMAKE_CXX_FLAGS_RELEASE="-O3 -DNDEBUG -march=native -fno-omit-frame-pointer -gmlt"
+           -DCMAKE_SHARED_LINKER_FLAGS="-Wl,--undefined-version"
            -DCMAKE_CXX_STANDARD=17
+           -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
            -DCMAKE_INSTALL_PREFIX=<varats_root>/tools/VaRA
            -DLLVM_ENABLE_ASSERTIONS=OFF
            -DLLVM_ENABLE_BINDINGS=OFF
            -DLLVM_ENABLE_EH=ON
-           -DLLVM_ENABLE_LDD=ON
+           -DLLVM_ENABLE_LLD=ON
            -DLLVM_ENABLE_PROJECTS="clang;lld;compiler-rt;clang-tools-extra;vara;phasar"
            -DLLVM_ENABLE_RTTI=ON
+           -DLLVM_OPTIMIZED_TABLEGEN=ON
            -DLLVM_PARALLEL_LINK_JOBS=4
            -DLLVM_PHASAR_BUILD=ON
+           -DLLVM_TOOL_PHASAR_BUILD=ON
+           -DPHASAR_ENABLE_DYNAMIC_LOG=OFF
+           -DPHASAR_BUILD_IR=OFF
+           -DPHASAR_BUILD_UNITTESTS=OFF
            -DLLVM_TARGETS_TO_BUILD=X86
            -DLLVM_TOOL_PHASAR_BUILD=ON
-           -DLLVM_USE_NEWPM=ON
            -DUSE_HTTPS=OFF
            -DUSE_SSH=OFF
            -DVARA_BUILD_LIBGIT=ON
+           -DVARA_FEATURE_BUILD_PYTHON_BINDINGS=OFF
+           -DVARA_FEATURE_BUILD_Z3_SOLVER=ON
+           -DVARA_FEATURE_USE_Z3_SOLVER=ON
 
       - **Build directory:** ``<varats_root>/tools_src/vara-llvm-project/build/dev-clion``
       - **Build options:** leave empty