From b34316456248ad2a77cfb5bc0b1c880954b76b8e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 12 Dec 2012 17:29:01 +0100
Subject: [PATCH] Instructions for local run

---
 web/README | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/web/README b/web/README
index 071c3c5f5..2f80ebec4 100644
--- a/web/README
+++ b/web/README
@@ -10,5 +10,11 @@ $ export LD_LIBRARY_PATH=/localhome/leonweb/git/z3/build/
 $ play "start -Dconfig.file=conf/laraserver.conf"
 
 ** Locally **
+$ cd path/to/leon-2.0
+$ sbt package
+$ cd web
+
+edit conf/local.conf to match your class-path!
 
-... to come ...
+$ export LD_LIBRARY_PATH=../lib-bin/64/
+$ play "start -Dconfig.file=conf/local.conf"
-- 
GitLab