From 2e93ec8ece4d029809bf092c779756e0b18d7a6c Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 16 Jul 2015 11:16:44 -0700
Subject: Add license text and Linux setup notes

---
 INSTALL | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 INSTALL

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
new file mode 100644
index 00000000..2a70587e
--- /dev/null
+++ b/INSTALL
@@ -0,0 +1,34 @@
+Building on Linux
+=================
+
+1. Create an empty base directory
+
+    mkdir BASE-DRIECTORY
+    cd BASE-DRIECTORY
+
+2. Download and build Boogie:
+
+    git clone https://github.com/boogie-org/boogie
+    cd boogie
+    mozroots --import --sync
+    wget https://nuget.org/nuget.exe
+    mono ./nuget.exe restore Source/Boogie.sln
+    xbuild Source/Boogie.sln
+
+3. Download and build Dafny:
+
+   hg clone https://hg.codeplex.com/dafny
+   cd dafny/Sources/
+   xbuild Dafny.sln
+
+4. Download and build Z3
+
+   git clone https://github.com/Z3Prover/z3.git
+   cd z3
+   ./configure && make && sudo make install
+
+5. Symlink the z3 binaries so that Boogie and Z3 can find them:
+
+   cd BASE-DIRECTORY
+   ln -s /usr/bin/z3 boogie/Binaries/z3.exe
+   ln -s /usr/bin/z3 dafny/Binaries/z3.exe
-- 
cgit v1.2.3