MacOS: coqide is complied with wrong deployment target

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

MacOS: coqide is complied with wrong deployment target #439

Closed MSoegtropIMC closed 1 month ago

MSoegtropIMC commented 1 month ago

The coqide file in the installer is just a wrapper which is compiled by the installer creator. For this reason it misses the delayment target setting of the platform creation script.