Stream: Nix toolbox devs & users

Topic: PG under nix

view this post on Zulip Pierre Jouvelot (Feb 25 2022 at 20:30):

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 nix-shell, ran make and 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?

view this post on Zulip Cyril Cohen (Feb 25 2022 at 21:50):

does nix-shell --arg withEmacs true work?

view this post on Zulip Pierre Jouvelot (Feb 26 2022 at 09:01):

Cyril Cohen said:

does nix-shell --arg withEmacs true work?

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: Apr 19 2024 at 15:02 UTC