Re: [m-users.] How many users using mercury on Nixpkgs
Volker Wysk <[email protected]> Sat, 13 Sep 2025 14:48:43 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
Am Freitag, dem 12.09.2025 um 16:51 +0200 schrieb Anders Lundstedt: > On Fri, Sep 12, 2025 at 3:25 PM Volker Wysk <[email protected]> wrote: > > Thanks vor sharing! I'd like to add this to the Mercury ressources list. > > > > So you have written a so-called "flake" for use with Nix. Who should I > > credit it to? Your Email address only has one word, "vieta". > > The contribution under discussion is that vieta maintains the Mercury > package in the nixpkgs package collection. I think Mercury's presence > in nixpkgs collection worth mentioning on the Mercury resources list. > vieta probably can provide you with a suitable wording to use for the > resources list. This would be helpful. @Vieta: Could you explain in a few sentences what the nixpkgs package collection is, how your Mercury flake(?) fits in and how it is used. So someone without knowledge of Nix gets the big picture. Just a few sentences. > A flake-specific contribution, already added to the was discussed > roughly a year ago: > > https://lists.mercurylang.org/archives/users/2024-October/thread.html I know of this. It's already in the Mercury ressources list. The entry might be inaccurate. If so, anyone with Nix experience, please send me a note. This is the text: "A flake for the Nix package manager "Frank Wijnans has built a flake (a receipt for compiling and building) of the extra libraries for the NixOS Linux distribution. This requires the Nix package manager, which works on NixOS and on almost all (if not all) Linux distrubitions, and on MacOS. "It’s located here: https://github.com/frank87/mercury_flake." (It's here: https://volker-wysk.de/mercury/resources.html#a-flake-for-the-nix-package-manager) Cheers, Volker _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users