Install hardcaml-riscv (20 sept 2016)

install.md

System requirements

m4, minsat, picosat, llvm-3.5: install with apt-get in ubuntu 16.04

cryptominisat: compile and install from https://github.com/msoos/cryptominisat/releases/tag/4.5.3

Opam install

Copy line by line or dump into a bash script.

# Install new OCaml switch 
opam switch 4.02.3+hardcaml --alias-of 4.02.3
eval $(opam config env)
export OPAMYES=true

# Initial setup
opam repository add glasgow 'http://www.dcs.gla.ac.uk/~michele/dcs-opam-repository/'
opam install oasis 

# Pin and install various upstream packages/forks
opam pin add elf               -n -k git https://github.com/ujamjar/ocaml-elf
opam pin add cryptominisat     -n -k git https://github.com/ujamjar/ocaml-cryptominisat
opam pin add lambda-term       -n -k git https://github.com/andrewray/lambda-term#move-focus
opam pin add riscv             -n -k git https://github.com/ujamjar/riscv
opam pin add hardcaml          -n -k git https://github.com/ujamjar/hardcaml
opam pin add hardcaml-bloop    -n -k git https://github.com/ujamjar/hardcaml-bloop
opam pin add hardcaml-waveterm -n -k git https://github.com/ujamjar/hardcaml-waveterm#widget
opam pin add hardcaml-riscv    -n -k git https://github.com/ujamjar/hardcaml-riscv

# Install
opam install llvm.3.5 hardcaml-riscv

Run

eval $(opam config env)
rv32p1