opam installation

[ncihnegn]

Probably a naive question: can hol-light be installed as an opam pacakge? If not, why?

[PetrosPapapa]

No because it runs on the OCaml toplevel REPL and is not compiled.

[fblanqui]

To know which pairs ocaml-camlp5 work, see #71.

[aqjune]

hol light is now available on opam. It will create hol.sh that will launch an OCaml REPL with proper flags according to the OCaml version.

opam install hol_light
# To compile the core module of HOL Light and use, add hol_light_module
opam install hol_light hol_light_module