From b7f24804b8cc52bc18ebc06fbb7948f087700937 Mon Sep 17 00:00:00 2001 From: Lukas Abelt Date: Mon, 8 Apr 2024 09:24:39 +0200 Subject: [PATCH] Updated documentation for CLion Setup (#881) I noticed that the documentation for the CLion setup is a bit outdated and has some minor mistakes. This PR synchronizes the documentation with what the build scripts (build_setup.sh) set as options for compilation. --------- Co-authored-by: Lukas Abelt --- .../vara/add_setup_infos/clion_setup.rst | 24 +++++++++++++++---- 1 file changed, 20 insertions(+), 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 index ae03bf107..98a5c6869 100644 --- 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=/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=/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:** ``/tools_src/vara-llvm-project/build/dev-clion`` - **Build options:** leave empty