From 177ae20bed870c0ca451968098236e6dd8472905 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 21:51:28 +0200
Subject: Installation

---
 README.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 2e29d14..d52cb15 100644
--- a/README.md
+++ b/README.md
@@ -9,9 +9,17 @@ Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include:
  * Generating truth tables for expressions, possibly with intermediate steps
  * Displaying truth tables
  * Parsing strings to expressions
+ * A web frontend to access the Clean program through, so only server-side installation is necessary
 
 Read further for examples.
 
+## Installation
+
+Set `CLEAN_HOME` to your Clean installation directory. To install the parser and the example program:
+
+    clm -I $CLEAN_HOME/lib/StdLib -I $CLEAN_HOME/lib/ArgEnv LogicParser -o LogicParser
+    clm -I $CLEAN_HOME/lib/StdLib -I $CLEAN_HOME/lib/ArgEnv LogicTest -o LogicTest
+
 ## Types
 
 ### Operators
@@ -142,7 +150,7 @@ The option `-e` tells the parser to show the extended truth table. With this opt
 
 ## Web frontend
 
-There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic.
+There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic. For this to work, the `exec()` function should be enabled in your PHP configuration.
 
 ## Future ideas
 
-- 
cgit v1.2.3