> But ocamlfind semms not to provide a subcommand to invoke the
> interactive OCaml toplevel. What am I missing?
The other way round. "ocamlfind" hooks into the toplevel.
$ isabelle ocaml_opam config exec ocaml
OCaml version 4.05.0
# #use "topfind";;
- : unit = ()
Findlib has been
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
>
> $
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")
On 22/01/2019 22:02, Florian Haftmann wrote:
>
> Then I have no clue how to include the installed zarith properly.
> https://opam.ocaml.org/doc/FAQ.html mentions subcommands »exec« and
> »env« for opam, which the installed version available through »isabelle
> ocaml_opam« does not provide.
That
