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?
Cheers,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
