Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify...

diff --git a/lib/jpf.jar b/lib/jpf.jar
new file mode 100644 (file)
index 0000000..15b1668
Binary files /dev/null and b/lib/jpf.jar differ

diff --git a/main.groovy b/main.groovy
index e282ed898bdaa5ef71e779d2b0902564e7705ad1..dfc967563b81701d47d6dcb345d3b1afa399ace6 100644 (file)
--- a/main.groovy
+++ b/main.groovy
@@ -23,6 +23,8 @@ import NfcTouch.NfcTouch
 import Event.Event
 import Timer.SimulatedTimer
 
+import gov.nasa.jpf.vm.Verify
+
 //Global eventHandler
 /////////////////////////////////////////////////////////////////////
 def eventHandler(LinkedHashMap eventDataMap) {

diff --git a/makefile b/makefile
index fa243bc7cf9e1e3c2aa40d8a3dac4b2954ac6c50..11ff4ddec8e59b3091b4e8d944b3d6f262670f7e 100644 (file)
--- a/makefile
+++ b/makefile
@@ -2,13 +2,14 @@ PYTHON = python
 GROOVY = groovyc
 GFLAGS = -d
 RMFLAGS = -r
+CPATH = -cp
 
 default: Runner main
 
 Runner: Runner.py
        $(PYTHON) Runner.py
 main: main.groovy
-       $(GROOVY) $(GFLAGS) bin/main main.groovy
+       $(GROOVY) $(CPATH) lib/jpf.jar $(GFLAGS) bin/main main.groovy
 
 
 clean: