Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .travis.yml

diff --git a/JMCR-Stable/.travis.yml b/JMCR-Stable/.travis.yml
new file mode 100644 (file)
index 0000000..ecec919
--- /dev/null
+++ b/JMCR-Stable/.travis.yml
@@ -0,0 +1,18 @@
+sudo: required
+
+language: java
+
+jdk:
+  - oraclejdk8
+
+before_install:
+  - mkdir -p ~/.local/bin
+  - mkdir -p ~/.local/lib
+  - export PATH=~/.local/bin:$PATH
+  - export LD_LIBRARY_PATH=~/.local/lib:$LD_LIBRARY_PATH
+  - ./scripts/install-z3.sh
+
+script:
+  - cd mcr-test
+  - ant
+