From 165cc768c3d5354def0de70a8cb2b269d77189eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20B=C3=B6hm?= Date: Fri, 15 Dec 2023 09:00:47 +0100 Subject: [PATCH] Fixes VaRA CLion setup docs (#869) --- .../vara/add_setup_infos/clion_setup.rst | 10 +++++----- 1 file changed, 5 insertions(+), 5 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 3152ad5af..ae03bf107 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 @@ -5,7 +5,7 @@ How to set up VaRA/LLVM in CLion -------------------------------- 1. Use ``vara-buildsetup vara -i`` to correctly clone and checkout the VaRa/LLVM repos (cf. :ref:`How to setup VaRA`) -2. Start CLion and from the menu select **File | Open** and point to ``/vara-llvm-project/llvm/CMakeLists.txt``. +2. Start CLion and from the menu select **File | Open** and point to ``/tools_src/vara-llvm-project/llvm/CMakeLists.txt``. In the dialog that opens, click **Open as Project**. 3. Go to **Settings/Preferences | Build, Execution, Deployment | CMake** to configure the CMake project. @@ -20,8 +20,8 @@ How to set up VaRA/LLVM in CLion -DBUILD_CLAR=OFF -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_C_FLAGS_DEBUG="-O2 -g -fno-omit-frame-pointer" + -DCMAKE_CXX_FLAGS_DEBUG="-O2 -g -fno-omit-frame-pointer" -DCMAKE_CXX_STANDARD=17 -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_INSTALL_PREFIX=/tools/VaRA @@ -55,8 +55,8 @@ How to set up VaRA/LLVM in CLion -DBUILD_CLAR=OFF -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_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_CXX_STANDARD=17 -DCMAKE_INSTALL_PREFIX=/tools/VaRA -DLLVM_ENABLE_ASSERTIONS=OFF