Merge branch 'master' of github.com:potassco/plasp into pddl-parser
This commit is contained in:
commit
138db460a9
@ -22,4 +22,4 @@ script:
|
|||||||
- mkdir build
|
- mkdir build
|
||||||
- cd build
|
- cd build
|
||||||
- cmake .. -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTS=ON -DCMAKE_CXX_COMPILER=$COMPILER
|
- cmake .. -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTS=ON -DCMAKE_CXX_COMPILER=$COMPILER
|
||||||
- make && make run-tests
|
- make -j3 && make -j3 run-tests
|
||||||
|
Reference in New Issue
Block a user