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. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev