Skip to content

Latest commit

 

History

History
47 lines (36 loc) · 1.08 KB

building.md

File metadata and controls

47 lines (36 loc) · 1.08 KB
Raw

Building

plasp requires a C++17 compiler (preferably GCC ≥ 6.1 or clang ≥ 3.8) and CMake for building.

git clone https://github.com/potassco/plasp.git
cd plasp
mkdir -p build/release
cd build/release
cmake ../.. -DCMAKE_BUILD_TYPE=Release
make

The built plasp binary is then located at plasp/build/release/bin/plasp.

To update plasp to the most recent version, perform the following steps:

cd plasp
git checkout master
git pull
cd build/release
cmake .
make

Running the Tests

plasp provides unit tests written with Catch2. Before building and running the tests, make sure you have fetched the Catch submodule:

git submodule init
git submodule update

Afterward, enable the flag BUILD_TESTS in your CMake configuration. Finally, build and run the tests as follows:

make run-tokenize-tests
make run-pddl-tests
make run-tests

After updating plasp, make sure to execute CMake again in order for the tests to run correctly. Else, external files required by the test suite may be reported missing.