Added missing CMake option for testing PDDL parsing library to Travis configuration.

This commit is contained in:
Patrick Lühne 2017-06-20 02:01:58 +02:00
parent ff782a8642
commit 178a55d29e
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -32,5 +32,5 @@ script:
- git submodule update --recursive --init
- mkdir -p build/debug
- cd build/debug
- cmake ../.. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_COMPILER=$_CXX -DPLASP_BUILD_TESTS=ON -DTOKENIZE_BUILD_TESTS=ON
- make -j3 plasp-app && make -j3 run-tokenize-tests && make -j3 run-tests
- cmake ../.. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_COMPILER=$_CXX -DTOKENIZE_BUILD_TESTS=ON -DPDDLPARSE_BUILD_TESTS=ON -DPLASP_BUILD_TESTS=ON
- make -j3 plasp-app && make -j3 run-tokenize-tests && make -j3 run-pddlparse-tests && make -j3 run-tests