Michael Soegtrop (Jul 26 2020 at 08:23): Michael Soegtrop (Jul 26 2020 at 08:23):Since the 8.12.0 tag has been created, it is time to discuss the 8.12 coq platform.
For inclusion of packages (beyond what is in the 8.12 Windows installer) please create an issue here:
https://github.com/MSoegtropIMC/coq-platform
For more information please read https://github.com/MSoegtropIMC/coq-platform/blob/master/charter.md
Michael Soegtrop (Jul 29 2020 at 08:57):I am pretty much through with the platform developer environment setup scripts for windows and macOS. I wonder which Linux distros I should support for the first beta.
Does someone have experience with installing dependencies (say gtksourceview3) with opam depext? In which Linux distros has this been tested? Does it work?
What Linux distros do Coq developers use?
Karl Palmskog (Jul 29 2020 at 08:58):it definitely works in at least Debian and Ubuntu, e.g, 18.04
Karl Palmskog (Jul 29 2020 at 08:59):recall that the Docker images use Debian 10 slim, so this is definitely one to support
Enrico Tassi (Jul 29 2020 at 09:07):AFAIK we use Debian/Ubuntu and NixOS. opam depext works fine on Ubuntu/Debian and RedHat/Fedora. I can't say about nix
Théo Zimmermann (Jul 29 2020 at 09:45):Don't bother supporting NixOS, it would be too much effort for someone who doesn't use it. Since I'm a NixOS user, I might take care of this myself when I feel the need.
Notification Bot (Jul 29 2020 at 14:03):This topic was moved here from #Coq devs & plugin devs > 8.12 coq platform release thread by Théo Zimmermann
Last updated: Apr 20 2024 at 09:01 UTC