Creating binary packages for your platform

Note: to create the package successfully you will need tools like ocaml, opam, z3, make, git, Madoko, LaTeX, and zip installed.

Note: no cross-platform compilation supported at the moment

0. Make sure you have installed all the dependencies to build F* using the OCaml snapshot (cf. INSTALL.md) and you are able to build F* in OCaml using:

    $ make -C src ocaml-fstar-ocaml
   

1. Make sure you have the Z3 4.5.0 binary in your $PATH or in the $FSTAR_HOME/bin directory. Please make sure it's precisely this version!

    $ z3 --version
   

2. Run the following commands:

    $ cd src/ocaml-output
    $ make package
   

3. Run the testing of binary packages