Working with the old version of Hardcaml

install.md

Working with the old version of Hardcaml

To use the old version of hardcaml

1. Create a directory ie hardcaml_ujamjar and cd into it
2. touch jbuild-workspace
3. git clone ... the required repositories
4. opam install ... the required dependencies
5. jbuilder build @install will compile everything

The libraries can then be used by adding project specific subdirectories (which compile with jbuilder) or installed and referenced with ocamlfind.

Base libraries

opam install astring ctypes ctypes-foreign js_of_ocaml js_of_ocaml-ppx lwt atdgen ppx_deriving lwt_ppx omd lambda-term ppxfind

git clone https://github.com/ujamjar/hardcaml
git clone https://github.com/ujamjar/hardcaml-waveterm
git clone https://github.com/ujamjar/hardcaml-yosys
git clone https://github.com/ujamjar/ppx_deriving_hardcaml

optional examples

git clone https://github.com/ujamjar/hardcaml-framework
git clone https://github.com/ujamjar/hardcaml-examples

Verification libraries

opam install bdd vd gg uutf

git clone https://github.com/ujamjar/sattools
git clone https://github.com/ujamjar/hardcaml-bloop
git clone https://github.com/ujamjar/hardcaml-affirm

Other stuff

Requires llvm.3.9 (not available on my current PC, so not tested)

git clone https://github.com/ujamjar/hardcaml-llvmsim

Not currently working.

git clone https://github.com/ujamjar/hardcaml-vpi