Pierre Le Scornet

Results 8 comments of Pierre Le Scornet

Hi everyone ! I'm a teacher in a french CPGE, where OCaml is part of the curriculum but managing projects with dune or other build systems is not an objective...

Saw the same error message. Uninstalling the ocaml system package did the trick (`sudo apt remove ocaml`). Seeing this, `opam install ocaml-lsp-server` noticed the missing system ocaml executable and recompiled...

Just tried it : cleaned up the aux files, compiled it one time without the includeonly and compiled it another time with it. I still get the error.

Seems a good fix for now, I tested several situations where I thought the lack of auxiliairy files would raise an issue, but it doesn't in my project. Should I...

I don't know how but it seems that my MWE compiles now. If no one opposes, I can close this issue. Thanks for the package !

Sorry, I forgot I changed the system-wide algpseudocodex.sty file. Problem's still there.

The last release on CTAN fixed it, sorry I did not test it sooner. Closing now. Thanks for this amazing tool !