Creating binary packages for your platform

Jump to bottom Edit New page

Catalin Hritcu edited this page Nov 29, 2016 · 20 revisions

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

Make sure you have installed all the dependencies to build F* using the OCaml snapshot (cf. step 3 in INSTALL.md)
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
```
Run the following command:
```
 $ make package -C src/ocaml-output
```
Run the testing of binary packages