I wanted to get a new install of mathcomp on my Mac, so I created a new directory, cloned there the mathcomp github repo, launched
sudo make install ... and then launched emacs, which has PG installed:
nix-shell --run /Applications/Emacs.app/Contents/MacOS/Emacs
When I open any
.vfile, I get the following error message:
File mode specification error: (coq-unclassifiable-version . 8.14.1 compiled)
Google didn't help much with this message, so I tried
coqide and it crashed after a couple of proof steps :( Does anyone have encountered this, or have suggestions?
nix-shell --arg withEmacs true work?
Cyril Cohen said:
nix-shell --arg withEmacs truework?
Yes, great! Indeed, it seems to work, at the price of a brand new copy of emacs in the /nix folder, I assume :) Thanks a lot @Cyril Cohen
Last updated: Jan 29 2023 at 15:02 UTC