opam installation

Open ncihnegn opened this issue 3 years ago • 3 comments

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

May 08 '22 10:05 ncihnegn

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

May 08 '22 21:05 PetrosPapapa

To know which pairs ocaml-camlp5 work, see https://github.com/jrh13/hol-light/pull/71.

Feb 15 '23 15:02 fblanqui