From 4b7539f175b4b18d12601a86540de1efbc08e08b Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <ekneuss@gmail.com> Date: Wed, 12 Dec 2012 17:52:03 +0100 Subject: [PATCH] Update web README --- web/README | 22 ++++++++++------------ 1 file changed, 10 insertions(+), 12 deletions(-) diff --git a/web/README b/web/README index cf2a11cc9..64d124946 100644 --- a/web/README +++ b/web/README @@ -1,23 +1,21 @@ HOWTO RUN LEON ONLINE ********************* -** On laraserver ** - $ cd path/to/leon-2.0 $ sbt package $ cd web -Make sure SCALA_HOME is SET! -$ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/ -$ play "start -Dconfig.file=conf/laraserver.conf" +!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! +!!! Make sure SCALA_HOME is SET! !!! +!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -** Locally ** -$ cd path/to/leon-2.0 -$ sbt package -$ cd web +** On laraserver ** -Make sure SCALA_HOME is SET! + $ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/ + $ play "run -Dapp.prefix=/leon" + +** Locally ** -$ export LD_LIBRARY_PATH=../lib-bin/64/ -$ play start + $ export LD_LIBRARY_PATH=../lib-bin/64/ + $ play run -- GitLab