MacOS: command file does not find the correct coqc if one is available via opam

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

MacOS: command file does not find the correct coqc if one is available via opam #442

Open MSoegtropIMC opened 3 weeks ago

MSoegtropIMC commented 3 weeks ago

The coq platform command file in the MacOS installer should always use the supplied coq platform coqc, but in case an opam supplied coqc is available and opam config is done in the users shell rc file, the command file uses the opam supplied coqc.