X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=28554f78d4a964864bcfdbbed30429247f418ca6;hb=895bb616c6c2a7ae845b67c2a30dadc646cad9b6;hp=d0c01ac30417723f738ec705c45bf8e603ae6c89;hpb=0c76512b8210fa546adc1b75e9e27de8293c5be7;p=smartthings-infrastructure.git

diff --git a/README b/README
index d0c01ac..28554f7 100644
--- a/README
+++ b/README
@@ -1,2 +1,7 @@
 This is a new repository for the SmartThings execution infrastructure for Groovy.
 This project attempts to model-check SmartThings Groovy smart apps.
+-------------------------------------------------------------------------------------------
+1. Put your groovy program in Extractor directory with the name App.groovy.
+2. Run the make command in smartthings-infrastructure directory.
+3. All the classes are created in the bin folder.
+-------------------------------------------------------------------------------------------