From: rtrimana <rtrimana@uci.edu>
Date: Wed, 17 Jul 2019 21:42:04 +0000 (-0700)
Subject: Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=commitdiff_plain;h=0296f174012009c13b8ca9901b615877e23a7b7d

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

diff --git a/lib/jpf.jar b/lib/jpf.jar
new file mode 100644
index 0000000..15b1668
Binary files /dev/null and b/lib/jpf.jar differ
diff --git a/main.groovy b/main.groovy
index e282ed8..dfc9675 100644
--- 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 fa243bc..11ff4dd 100644
--- 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: