[m-users.] How many users using mercury on Nixpkgs
Volker Wysk
post at volker-wysk.de
Mon Sep 15 21:23:09 AEST 2025
Hi Vieta, Frank and all.
I've done some reading about Nix. I've made a draft for the Mercury
ressources list:
---------------------------------
### Nix / NixOS
The Nix technology is quite involved and very powerful.
Nix is a package manager for Unix-like systems. It's based on a
purpose-built, declarative, purely functional programming language, in
which package receipes are written. These receipes are used to
configure packages. They are collected in the Nixpkgs repository.
This is the main package repository built upon the Nix package
manager. It contains more than 122,000 packages and has a higher
number of up-to-date packages than any other package repository.
NixOS is a Linux distribution based on Nix.
See the [Nix (package
manager)](https://en.wikipedia.org/wiki/Nix_(package_manager) and
[NixOS](https://en.wikipedia.org/wiki/NixOS] pages in Wikipedia for
more information.
#### A flake for the Nix package manager
Frank Wijnans has written a so-called
[flake](https://en.wikipedia.org/wiki/NixOS#Flakes) for the Mercury
extra libraries.
It's located here:
[https://github.com/frank87/mercury_flake](https://github.com/frank87/mercury_flake)
.
---------------------------------
I only partially comprehend what Nix is about. I'd be grateful if you two
could test read the above for errors.
@Vieta: Sorry, I really don't get what you have built.
Cheers,
Volker
Am Freitag, dem 12.09.2025 um 10:29 +0200 schrieb vieta:
> Dear Mercury users, I am curious about how many of you are using Mercury
> on the Nix package manager.
>
> I am currently maintaining it on Nix and trying to sizing down the build
> dependency.
>
> https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/mercury/default.nix
>
>
> Best regards,
>
> Vieta
>
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users
More information about the users
mailing list