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

[smartthings-infrastructure.git] / makefile

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: