Newer
Older
- opam depext --install dune zarith num ocplib-simplex parsexp
- cd Src/COLIBRI/simplex_ocaml; ECLIPSEBIN=$(pwd)/../../../Bin dune build simplex_ocaml_mod_v7.so simplex_ocaml.pl
- cd Src/COLIBRI/simplex_ocaml; cp _build/default/simplex_ocaml.pl ..
- cd Src/COLIBRI/simplex_ocaml; cp _build/default/simplex_ocaml_mod_v7.so ../lib/v7/x86_64_linux/simplex_ocaml.so