diff --git a/web/README b/web/README index 071c3c5f5837d3db32adba7e699829af18a9c6a9..2f80ebec4ab7d64f3ec3d2ce70a36d47fc53f91e 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"