Tut2

green/.classpath → .classpath

@@ -2,15 +2,15 @@
 <classpath>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="test"/>
-	<classpathentry kind="lib" path="lib/libcvc3.jar"/>
-	<classpathentry kind="lib" path="lib/org.hamcrest.core_1.1.0.jar"/>
-	<classpathentry kind="lib" path="lib/junit_4.8.2.jar"/>
-	<classpathentry kind="lib" path="lib/choco-solver-2.1.3.jar"/>
-	<classpathentry kind="lib" path="lib/jedis-2.0.0.jar" sourcepath="lib/jedis-2.0.0.jar"/>
 	<classpathentry kind="lib" path="lib/apfloat.jar"/>
-	<classpathentry kind="lib" path="lib/commons-exec-1.2.jar"/>
-	<classpathentry kind="lib" path="lib/com.microsoft.z3.jar"/>
+	<classpathentry kind="lib" path="lib/choco-solver-2.1.3.jar"/>
 	<classpathentry kind="lib" path="lib/choco-solver-3.3.1.jar"/>
+	<classpathentry kind="lib" path="lib/com.microsoft.z3.jar"/>
+	<classpathentry kind="lib" path="lib/commons-exec-1.2.jar"/>
+	<classpathentry kind="lib" path="lib/jedis-2.0.0.jar"/>
+	<classpathentry kind="lib" path="lib/junit_4.8.2.jar"/>
+	<classpathentry kind="lib" path="lib/libcvc3.jar"/>
+	<classpathentry kind="lib" path="lib/org.hamcrest.core_1.1.0.jar"/>
 	<classpathentry kind="lib" path="lib/slf4j-api-1.7.12.jar"/>
 	<classpathentry kind="lib" path="lib/slf4j-simple-1.7.12.jar"/>
 	<classpathentry kind="lib" path="lib/trove-3.1a1.jar"/>

.gitignore

@@ -0,0 +1,4 @@
+/bin/
+.classpath
+.project
+

green/.project → .project

@@ -1,17 +1,17 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>green</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-	</natures>
-</projectDescription>
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>green</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+</projectDescription>

.travis.yml

@@ -0,0 +1,14 @@
+
+sudo: required
+
+language: java
+
+services:
+    - docker
+
+
+before_install:
+    - docker build -t green .
+
+script:
+    - docker run green /bin/sh -c "ant;ant test -v"

Dockerfile

@@ -0,0 +1,37 @@
+FROM openjdk:8
+
+MAINTAINER Phillip van Heerden <vanheerden.phillip@gmail.com>
+
+# Update the system
+RUN apt update -y
+RUN apt upgrade -y
+
+# Install ant, libgomp1 (GCC OpenMP support library), vim, patchelf, and tmux.
+# These should be available on the NARGA machines.
+RUN apt install ant -y
+RUN apt install vim -y
+RUN apt install tmux -y
+RUN apt install patchelf -y
+RUN apt install libgomp1
+
+# Clone down the GreenSolver repository
+RUN git clone https://github.com/FloraJuliane/green
+
+# Download and extract Z3
+RUN mkdir z3
+WORKDIR z3
+RUN wget https://github.com/Z3Prover/z3/releases/download/z3-4.7.1/z3-4.7.1-x64-ubuntu-16.04.zip
+RUN unzip z3-4.7.1-x64-ubuntu-16.04.zip
+
+# Fix the link time error with libz3java.so
+WORKDIR /z3/z3-4.7.1-x64-ubuntu-16.04/bin
+RUN patchelf --set-rpath '.:$ORIGIN' libz3java.so
+
+# Make the z3 path a bit easier for sed
+WORKDIR /z3/
+RUN mv z3-4.7.1-x64-ubuntu-16.04/ z3/
+
+# Update the build.properties file with the new z3 paths
+WORKDIR /green/
+RUN sed -i '16s/.*/z3path = \/z3\/z3\/bin\/z3/' build.properties
+RUN sed -i '17s/.*/z3lib = \/z3\/z3\/bin/' build.properties

README.md

@@ -0,0 +1,8 @@
+[![Build Status](https://travis-ci.org/FloraJuliane/green.svg?branch=master)](https://travis-ci.org/FloraJuliane/green.svg?branch=master)
+
+Notes:
+
+The first step is to update "build.properties" with your local
+settings.  You do not need to set z3 and latte, but in that case
+some unit tests won't run.
+

green/build.xml → build.xml

@@ -95,8 +95,8 @@
     <target name="test">
     	<echo message="java.library.path = ${z3lib};${cvc3lib}"/>
         <mkdir dir="${junit.dir}"/>
-        <junit fork="yes" printsummary="withOutAndErr" haltonfailure = "yes">
-            <formatter type="xml"/>
+        <junit fork="yes" printsummary="off" haltonfailure = "yes" filtertrace = "yes">
+            <formatter usefile="false" type="brief"/>
             <test name="za.ac.sun.cs.green.EntireSuite" todir="${junit.dir}"/>
             <env key="DYLD_LIBRARY_PATH" value="lib"/>
             <env key="LD_LIBRARY_PATH" value="lib"/>