projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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: