X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=28554f78d4a964864bcfdbbed30429247f418ca6;hb=fbcbbcd3abd6dafc027d5d23cab920301833c612;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.
+-------------------------------------------------------------------------------------------