zacque
zacque
### Followup `mosml` should find $PREFIX/bin/camlrunm as well. Steps: 1. Edit `src/Makefile.inc`. Change the PREFIX path, e.g. /tmp/mosml-build. 2. After `make install`, try to execute `$PREFIX/bin/mosml` will generate the same...
Glad to have found this issue. Your workaround does work for me, it's SBCL 2.2.2, on Linux x86_64 machine. > my guess is that the cached files from the last...
Hmmm, but `coq-user-init-cmd` is defined as a constant, not a custom variable... That's why I'm not aware of it in the `M-x customize-group` options.
Okay, not sure how is that relevant to my issue. Anyways, my workaround solution is to place user-wide configuration into `~/.coqrc`. As for this issue, I'll leave it open since...
Hi, the transcript is now available online at: https://pml.flu.cas.cz/.