Skip to content

Latest commit

 

History

History
53 lines (38 loc) · 1.55 KB

Readme.md

File metadata and controls

53 lines (38 loc) · 1.55 KB
Raw

Environment Setup

Remote Linux Server

Project Root/ | |-- llvm-project |-- llvm_config.sh

  1. Clone llvm project to the remote server. $ git clone https://github.com/llvm/llvm-project.git -b release/9.x

  2. git clone https://github.com/seahorn/sea-cut.git

  3. run llvm_config.sh $ sea-cut/llvm_config.sh

  4. Install the project $ cd build-llvm-debug $ ninja install

Local Machine

  1. Download and install CLion (Link).

  2. CLone the project to your local $ git clone https://github.com/seahorn/sea-cut.git

  3. Use CLion to open the project /sea-cut

  4. In CLion -> Preferences -> Build, Execution, Deployment -> Toolchains, add the configuration:

    a. Add your remote credentials. (This should be the same as remote Linux credentials). b. CMake: /usr/bin/cmake c. Make: /usr/bin/make d. C Compiler: /usr/bin/clang-8 e. C++ Compler: /usr/bin/clang++-8 f. Debugger: /usr/bin/gdb

  5. In CLion -> Preferences -> Build, Excution, Deployment -> CMake, add the configuration: a. CMake Option: -DCMAKE_BUILD_TYPE=Debug -DSEACUT_USE_LINKER=lld-8 -DLLVM_DIR={$PROJECT_DIRETORY}/build-llvm-debug/run -DCMAKE_C_COMPILER=clang-8 -DCMAKE_CXX_COMPILER=clang++-8 where {$PROJECT_DIRETORY} is your project diretory in remote server. b. Generatio Path: cmake-build-debug c. Build Options: -j 16

Runing the Project in Remote

  1. In the SeatCut directory run $ ./config.sh ~/build-llvm-debug/run

  2. $ cd build/ and $ ninja

Runing Test Cases

$ ninja test-sea-cut