[isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Tue Jan 22 22:58:12 CET 2019

Hi Lars,

Am 22.01.19 um 22:34 schrieb Lars Hupel:
> It is admittedly a complicated incantation, but here you go:
> $ cat test.ml
> let x = Z.one;;
> let _ = print_endline (Z.to_string x);;
> $ isabelle ocaml_opam config exec ocamlfind -- ocamlopt -package zarith
> -linkpkg test.ml
> $ ./a.out
> 1
> You need "ocamlfind" to tell the OCaml compiler ("ocamlopt") where to
> look for packages.

thanks for that hint.

But ocamlfind semms not to provide a subcommand to invoke the
interactive OCaml toplevel.  What am I missing?


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190122/41b0d4de/attachment.sig>

More information about the isabelle-dev mailing list