Mathieu Lirzin
Mathieu Lirzin
Thanks it works perfectly with OpenJDK 8. Shall I update https://github.com/protegeproject/protege/wiki/Building-from-Source to mention this requirement? Maybe you have a better suggestion where this information should be put ?
I have used the following commands before running `make` ```shell opam switch create . --deps-only --locked opam install opam-installer eval $(opam env) ``` Thanks for your quick reply.
Hello, I gave up on this issue. the time required to run opam related command take way too long for me to continue investigating more. the last time I tried,...
I am trying to run an OCaml top level with [rdf](https://opam.ocaml.org/packages/rdf/rdf.0.13.0/) modules loaded. So I have made a dune project with rdf=0.13.0 as a dependency and when I am trying...