diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 21 |
1 files changed, 12 insertions, 9 deletions
@@ -1,14 +1,16 @@ # CompCert Install Instructions ## Dependencies + ### Additional dependencies + Replace with the package manager for your distribution ``` -sudo <pkg-manager> install -y mercurial darcs ocaml - +sudo <pkg-manager> install -y mercurial darcs ocaml bubblewrap ``` ### Opam + ``` sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) ``` @@ -20,24 +22,25 @@ eval `opam config env` ``` Add this to your `.bashrc` or `.bash_profile` ``` -. /nfs/home/mschuh/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true +. $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true ``` -Switch to last compiler version +Switch to a recent OCaml compiler version ``` -opam switch 4.07.0 +opam switch create 4.09.0 +opam switch 4.09.0 ``` -Install dependecies available through opam +Install dependencies available through opam ``` opam install coq menhir ``` ## Compilation Pre-compilation configure replace the placeholder with your desired platform -(for Kalray it is k1c-cos or k1c-mbr) +(for Kalray Coolidge it is `kvx-cos`) ``` ./configure <platform> ``` -If using Kalray's platform, make sure that the k1 tools are on your path +If using Kalray's platform, make sure that the kvx tools are on your path Compile (adapt -j# to the number of cores and available RAM) ``` make -j12 @@ -54,7 +57,7 @@ ccomp -O3 test.c -o test.bin ``` ## Changing platform -If you decide to change the platform, for instance from k1c-cos to k1c-mbr, you +If you decide to change the platform, for instance from kvx-cos to kvx-mbr, you should change the `compcert.ini` file with the respective tools and then run ``` make install |