From 14e9020f20d0096f7d240cd8736c204a17da89fe Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 12 Jun 2019 08:35:34 -0700 Subject: [PATCH] more templates Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 26 +++++-------------- scripts/test-examples-cmake.yml | 13 ++++++++++ ...gression-test.yml => test-regressions.yml} | 0 3 files changed, 19 insertions(+), 20 deletions(-) create mode 100644 scripts/test-examples-cmake.yml rename scripts/{regression-test.yml => test-regressions.yml} (100%) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 3fa7114fd..9a5fcfc2c 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -28,7 +28,7 @@ jobs: ./c_example cd .. - template: scripts/test-z3.yml - - template: scripts/regression-test.yml + - template: scripts/test-regressions.yml # TBD: @@ -69,23 +69,16 @@ jobs: $(cmdLine) ninja ninja test-z3 - ninja c_example - ninja cpp_example - ninja z3_tptp5 - ninja c_maxsat_example - examples/c_example_build_dir/c_example - examples/cpp_example_build_dir/cpp_example - examples/tptp_build_dir/z3_tptp5 -help - examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt cd .. - script: | cd build ./test-z3 -a cd .. condition: eq(variables['runUnitTest'], 'True') + - template: scripts/test-examples-cmake.yml # - template: scripts/test-jupyter.yml # - template: scripts/test-java-cmake.yml - - template: scripts/regression-test.yml + - template: scripts/test-regressions.yml - job: "Windows2017" @@ -111,7 +104,7 @@ jobs: ./c_example cd .. - template: scripts/test-z3.yml - - template: scripts/regression-test.yml + - template: scripts/test-regressions.yml @@ -128,15 +121,8 @@ jobs: CC=clang CXX=clang++ cmake -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "Ninja" ../ ninja ninja test-z3 - ninja c_example - ninja cpp_example - ninja z3_tptp5 - ninja c_maxsat_example - examples/c_example_build_dir/c_example - examples/cpp_example_build_dir/cpp_example - examples/tptp_build_dir/z3_tptp5 -help - examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt cd .. - template: scripts/test-z3.yml - - template: scripts/regression-test.yml + - template: scripts/test-examples-cmake.yml + - template: scripts/test-regressions.yml # - template: scripts/test-java-cmake.yml diff --git a/scripts/test-examples-cmake.yml b/scripts/test-examples-cmake.yml new file mode 100644 index 000000000..cb1253475 --- /dev/null +++ b/scripts/test-examples-cmake.yml @@ -0,0 +1,13 @@ +steps: +- script: | + set -e + cd build + ninja c_example + ninja cpp_example + ninja z3_tptp5 + ninja c_maxsat_example + examples/c_example_build_dir/c_example + examples/cpp_example_build_dir/cpp_example + examples/tptp_build_dir/z3_tptp5 -help + examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt + cd .. diff --git a/scripts/regression-test.yml b/scripts/test-regressions.yml similarity index 100% rename from scripts/regression-test.yml rename to scripts/test-regressions.yml