Re: [m-users.] How many users using mercury on Nixpkgs

Op 13-09-2025 om 14:48 schreef Volker Wysk:
> 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.


Nixpkgs is the main software repository in Nixos, the linux-variant 
build on nix. It's true, every nixos user can start playing around with 
mercury after typing:

nix-shell -p*mercury (it starts an environment where mercury is available)*


>> 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."

That's a project I made. It's a flake for building mercury stuff. I made 
it looking into the mercury examples.

The flake is an option in nix, to add a nix-file to your sources(named 
flake.nix), making it an consistent unit.

Greetings,

     Frank

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users