(1) lanciare ocaml in un terminale A e digitare:

#use "make.ml";;
checkpoint "";;

quest'ultimo comando produrrą un file eseguibile "hol.snapshot".

Non uscire dalla sessione di ocaml.

(2) da un altro terminale B verificare che hol.snapshot funzioni
    correttamente, lanciandolo ed eseguendo

    # 1+1;;

(3) da shell:

$ mv hol.snapshot hol

(4) Nella sessione di ocaml ancora aperta digitare:

loadt "Multivariate/make.ml";;
loadt "Examples/update_database.ml";;
checkpoint "Preloaded with multivariate analysis";;

al solito, non uscire dalla sessione.

(5) verificare nuovamente hol.snapshot e cambiargli nome in
    hol.multivariate

(6) Nella sessione aperta di ocaml digitare

loadt "Multivariate/make_complex.ml";;loadt "Examples/update_database.ml";;
checkpoint "Preloaded with multivariate-based complex analysis";;

(7) verificare come sopra hol.snapshot e cambiargli nome in
    hol.complex

(8) copiare hol,hol.multivariate,hol.complex in /usr/local/bin (o
    altrove, se volete).