Preliminary instructions to build F* lang on DragonFly BSD
July, 30th 2019

* Packages to install

 - gmp
 - gmake
 - ocaml
 - ocaml-camlp4
 - ocaml-opam

* OPAM

 - Initialize opam and follow the instructions
 - Typically you'll have to use 'eval `opam env`' to get the correct env.
 - See below the list of opam packages installed before trying to build:

     base-bigarray
     base-bytes
     base-num
     base-threads
     base-unix
     batteries
     biniou
     camlp4
     conf-gmp
     conf-m4
     conf-perl
     conf-which
     cppo
     dune
     easy-format
     jbuilder
     menhir
     merlin
     num
     ocaml
     ocaml-config
     ocaml-migrate-parsetree
     ocaml-system
     ocamlbuild
     ocamlfind
     pprint
     ppx_derivers
     ppx_deriving
     ppx_deriving_yojson
     ppx_tools
     ppxfind
     process
     result
     stdint
     ulex
     yojson
     zarith

  - to install zarith you'll need to do:
    env CFLAGS="-I/usr/local/include" LDFLAGS="-L/usr/local/lib" opam reinstall conf-gmp
    env CFLAGS="-I/usr/local/include" LDFLAGS="-L/usr/local/lib" opam install zarith

* To build F* lang:

  - clone repo: https://github.com/FStarLang/FStar.git
  - follow instructions on: https://github.com/FStarLang/FStar/blob/master/INSTALL.md#building-f-from-sources
  - make sure you use 'gmake' instead of 'make' because DragonFly's make is different.
  - you'll get a bin/fstar.exec binary you can run:

    $ ./bin/fstar.exe --version
    F* 0.9.7.0-alpha1
    platform=DragonFly_x86_64
    compiler=OCaml 4.05.0
    date=2019-07-30 06:16:24 +0000 
    commit=97143f0c00cc7be77d08083832ea46ff683f0fa1 (dirty)