diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 11:16:44 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 11:16:44 -0700 |
| commit | 2e93ec8ece4d029809bf092c779756e0b18d7a6c (patch) | |
| tree | c8743db67933e61d0642beff6b3e64c9e4acf22c /INSTALL | |
| parent | 6138ea13b5116eef41eeec5b59a13cc9c12ffcfa (diff) | |
Add license text and Linux setup notes
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 34 |
1 files changed, 34 insertions, 0 deletions
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
|