From ea45d8859c669e44533ef85d22c7500cc4a552d7 Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <ekneuss@gmail.com> Date: Thu, 13 Dec 2012 14:41:35 +0100 Subject: [PATCH] Update readme --- web/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web/README b/web/README index 64d124946..66789901e 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 -- GitLab