Hello! I am having trouble installing the Z3 api for Ocaml via opam. I made issues on the Z3 github "Failed testing ocamlopt compiler" while running opam install z3 · Issue #6781 · Z3Prover/z3 · GitHub and there is an additional issue ERROR while compiling z3.4.8.5 · Issue #6767 · Z3Prover/z3 · GitHub
Basically, if I start from scratch on a new opam switch (I have tried this for many versions) running opam install z3 returns an error. I am on a mac. Any help would be greatly appreciated!
Thanks very much