primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

necrolib: migrate to by-name

Browse source
This commit is contained in:
Primrose 2025-05-20 17:06:51 +02:00
parent 254dce933b
commit c7012e7cb6
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

28
nix/packages/by-name/necrolib/package.nix Normal file
View file

@ -0,0 +1,28 @@
{
fetchFromGitLab,
ocaml-ng,
ocamlPackages ? ocaml-ng.ocamlPackages_5_1,
}: let
version = "v0.16.2";
in
ocamlPackages.buildDunePackage {
pname = "necrolib";
inherit version;
minimalOCamlVersion = "5.1.1";
src = fetchFromGitLab {
domain = "gitlab.inria.fr";
owner = "skeletons";
repo = "necro";
rev = version;
hash = "sha256-KoSKJD5jy+GY5QKKMUTW5gc0V/5l/klHrJMdC8aPnj8=";
};
duneVersion = "3";
nativeBuildInputs = [ocamlPackages.menhir];
buildInputs = [
ocamlPackages.ocamlgraph
ocamlPackages.dune-build-info
];
}