Add a check if any COQxxx environment variables are set - Githubissues

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Add a check if any COQxxx environment variables are set #414

Open MSoegtropIMC opened 6 months ago

MSoegtropIMC commented 6 months ago

The Coq platform scripts should check if any COQxxx environment variables are set and if so warn the user that this does not play well with opam and the definitions should be removed.