> 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 succe
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
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") wh
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 d
Hi all,
I plan to go some steps to use zarith for integer arithmetic for code
generated in OCaml, and at the moment I am surrounded by tapestry.
As of, 331ef175a112, I issue the following steps:
$ isabelle ocaml_setup
--> fine
$ isabelle ocaml_opam install zarith
--> fine
$ e
