MacOS DMG installer: fix remaining (nice to have) issues

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

189 stars 50 forks source link

Open MSoegtropIMC opened 3 years ago

MSoegtropIMC commented 3 years ago

TODO:

[ ] Readme: add link to MacPorts and/or Homebrew package for system dependencies (the opam version information is useless for many conf packages)
[x] move .plist file here from Coq
[x] share whitelist among windows/osx (and snap, if possible)
[ ] add a CI job using matrix which installs macports (by default brew is installed, not ports)

This issue is for tracking / fixing the remaining nice to have issues of PR #50.

MSoegtropIMC commented 2 years ago

Fixed the code sharing in 2022.09 - the remaining stuff will go into 2023.3 (hopefully).

MSoegtropIMC commented 4 months ago

Triage note: we try to do this in the next release if we have bandwidth.