Skip to content

Instantly share code, notes, and snippets.

@mn200

mn200/INSTALL-Z3-4.0.md

Created May 9, 2012 05:49
Download ZIP

Revisions

  1. mn200 revised this gist Jun 18, 2012. 1 changed file with 2 additions and 15 deletions.
    17 changes: 2 additions & 15 deletions INSTALL-Z3-4.0.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,20 +1,7 @@
    # Installing Z3 version 4.0

    1. First, get the tar file from [Microsoft][MSR Z3] (I used the 32 bit version and am working on a Ubuntu 11.04 installation).

    2. Create a fresh directory (`Z3` say), and then un-`tar` within that directory (*i.e.* `tar xvzf z3-4.0.tar.gz`). You have to do this in the sub-directory, or the tar will spew its files and sub-directories all over the directory you're in (it doesn't itself create a top-level z3 directory).

    3. Change into your `Z3` directory (you should be able to see files `Makefile.in` and `configure.in` in this directory).

    4. Give files the right permissions `chmod -R +r *` (some have permissions 0000 by default!)

    5. Make sure you have `dos2unix` installed. (On Ubuntu, `apt-get install dos2unix` works.)

    6. Run `autoconf`

    7. Run `./configure`

    8. Run `make`
    1. Download and unpack tar-ball from [MSR download site][MSR Z3].

    2. Run the `z3` executable in `z3/bin`. Simple!

    [MSR Z3]: http://research.microsoft.com/en-us/um/redmond/projects/z3/download.html
  2. mn200 revised this gist May 9, 2012. 1 changed file with 7 additions and 5 deletions.
    12 changes: 7 additions & 5 deletions INSTALL-Z3-4.0.md
    View file
    Original file line number Diff line number Diff line change
    @@ -4,15 +4,17 @@

    2. Create a fresh directory (`Z3` say), and then un-`tar` within that directory (*i.e.* `tar xvzf z3-4.0.tar.gz`). You have to do this in the sub-directory, or the tar will spew its files and sub-directories all over the directory you're in (it doesn't itself create a top-level z3 directory).

    3. Give files the right permissions `chmod -R +r *` (some have permissions 0000 by default!)
    3. Change into your `Z3` directory (you should be able to see files `Makefile.in` and `configure.in` in this directory).

    4. Make sure you have `dos2unix` installed. (On Ubuntu, `apt-get install dos2unix` works.)
    4. Give files the right permissions `chmod -R +r *` (some have permissions 0000 by default!)

    5. Run `autoconf`
    5. Make sure you have `dos2unix` installed. (On Ubuntu, `apt-get install dos2unix` works.)

    6. Run `./configure`
    6. Run `autoconf`

    7. Run `make`
    7. Run `./configure`

    8. Run `make`


    [MSR Z3]: http://research.microsoft.com/en-us/um/redmond/projects/z3/download.html
  3. mn200 revised this gist May 9, 2012. 1 changed file with 12 additions and 1 deletion.
    13 changes: 12 additions & 1 deletion INSTALL-Z3-4.0.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,18 @@
    # Installing Z3 version 4.0

    First, get the tar file from [Microsoft][MSR Z3]
    1. First, get the tar file from [Microsoft][MSR Z3] (I used the 32 bit version and am working on a Ubuntu 11.04 installation).

    2. Create a fresh directory (`Z3` say), and then un-`tar` within that directory (*i.e.* `tar xvzf z3-4.0.tar.gz`). You have to do this in the sub-directory, or the tar will spew its files and sub-directories all over the directory you're in (it doesn't itself create a top-level z3 directory).

    3. Give files the right permissions `chmod -R +r *` (some have permissions 0000 by default!)

    4. Make sure you have `dos2unix` installed. (On Ubuntu, `apt-get install dos2unix` works.)

    5. Run `autoconf`

    6. Run `./configure`

    7. Run `make`


    [MSR Z3]: http://research.microsoft.com/en-us/um/redmond/projects/z3/download.html
  4. mn200 created this gist May 9, 2012.
    7 changes: 7 additions & 0 deletions INSTALL-Z3-4.0.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    # Installing Z3 version 4.0

    First, get the tar file from [Microsoft][MSR Z3]



    [MSR Z3]: http://research.microsoft.com/en-us/um/redmond/projects/z3/download.html