diff --git a/web/README b/web/README index 64d12494629f7bf97e9bb7ea5518f6237a4398e2..66789901e08b862830efb35731588e8b924a30bd 100644 --- a/web/README +++ b/web/README @@ -2,8 +2,9 @@ HOWTO RUN LEON ONLINE ********************* $ cd path/to/leon-2.0 -$ sbt package +$ sbt package script $ cd web +$ source ../setupenv !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! @@ -17,5 +18,4 @@ $ cd web ** Locally ** - $ export LD_LIBRARY_PATH=../lib-bin/64/ $ play run