porting to library

wadoon · May 8, 2020 · a5e624f · a5e624f
1 parent 7108a40
commit a5e624f
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 8 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,16 @@
+#ignore tmp files
+*~
+*.swp
+*tmp.java
+/testRes/tests/tmp/
+
+#Java
+*.class
+
+#Gradle
+build/
+.gradle/
+gradle/
+gradlew
+gradlew.bat
+
diff --git a/ReadMe.md b/ReadMe.md
@@ -1,9 +1,5 @@
 # Building
-To build the tool just run the main ant target (int this directory) with: ant
-(tested with OracleJDK 1.8)
-
-# Needed tools
-JBMC has to be installed and found somewhere in the path (e.g. /usr/bin/)
-    test and recommended is version 5.10 where a binary for 64-bit linux os can 
-    bin found in ./jbmc 
-
+To build and run the test create a gradle wrapper (gradle wrapper) and then call
+./gradlew build
+to run the tool use
+./gradlew run