From ce07a29685a27f01c596271e03d6a39a7090d12e Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 31 Jul 2015 16:45:25 -0700
Subject: Update install notes and test them

---
 INSTALL | 24 ++++++++++++++++++------
 1 file changed, 18 insertions(+), 6 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 2a70587e..830a89f4 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,6 +1,12 @@
 Building on Linux
 =================
 
+(Tested on a fresh Linux Mint 17.2)
+
+0. Dependencies
+
+    apt install mono-devel g++
+
 1. Create an empty base directory
 
     mkdir BASE-DRIECTORY
@@ -14,21 +20,27 @@ Building on Linux
     wget https://nuget.org/nuget.exe
     mono ./nuget.exe restore Source/Boogie.sln
     xbuild Source/Boogie.sln
+    cd ..
 
 3. Download and build Dafny:
 
    hg clone https://hg.codeplex.com/dafny
-   cd dafny/Sources/
-   xbuild Dafny.sln
+   xbuild dafny/Source/Dafny.sln
+   xbuild dafny/Source/DafnyServer.sln
 
 4. Download and build Z3
 
    git clone https://github.com/Z3Prover/z3.git
    cd z3
-   ./configure && make && sudo make install
+   git checkout z3-4.4.0
+   ./configure
+   cd build
+   make -j4
+   cd ../..
 
-5. Symlink the z3 binaries so that Boogie and Z3 can find them:
+5. Copy (or symlink) the z3 binary so that Dafny and Boogie can find it:
 
    cd BASE-DIRECTORY
-   ln -s /usr/bin/z3 boogie/Binaries/z3.exe
-   ln -s /usr/bin/z3 dafny/Binaries/z3.exe
+   rm dafny/Binaries/z3 # Dafny already packages z3
+   cp z3/build/z3 dafny/Binaries/z3
+   cp z3/build/z3 boogie/Binaries/z3.exe
-- 
cgit v1.2.3