[isabelle] export code checking OCaml: zarith not found
I'm trying to use the checking OCaml mode of export_code, but it fails
ocamlfind: Package `zarith' not found
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu
-package zarith -linkpkg ROOT.ml </dev/null
I have installed opam and ocamlfind, and added the path to ocamlfind
and an eval $(opam env) to my ~/.isabelle/Isabelle2021/etc/settings
peter@peterXps:~$ cat ~/.isabelle/Isabelle2021/etc/settings
eval $(opam env)
running with isabelle env works as expected
peter@peterXps:~$ isabelle env ocamlfind query zarith
but, even after restarting isabelle, export_code keeps complaining.
What am I missing? How to troubleshoot?
This archive was generated by a fusion of
Pipermail (Mailman edition) and