[isabelle] export code checking OCaml: zarith not found



Hi,

I'm trying to use the checking OCaml mode of export_code, but it fails
with

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
file:

peter@peterXps:~$ cat ~/.isabelle/Isabelle2021/etc/settings 
ISABELLE_OCAMLFIND=/usr/bin/ocamlfind
ISABELLE_GHC=/usr/bin/ghc

eval $(opam env)


running with isabelle env works as expected

peter@peterXps:~$ isabelle env ocamlfind query zarith
/home/peter/.opam/default/lib/zarith

but, even after restarting isabelle, export_code keeps complaining.
What am I missing? How to troubleshoot?

--
  Peter











This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.