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

add(nix): necrolib

Browse source
This commit is contained in:
Léana 江 2024-02-03 16:49:17 +01:00 • committed by Léana 江
parent 059e47563e
commit 76be58fadc
5 changed files with 181 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
nix/mypkgs/default.nix
View file

@ -1,3 +1,8 @@
{pkgs, ...}: {
{
pkgs,
opam-nix,
...
}: {
logisim-evolution = pkgs.callPackage ./logisim-evolution.nix {};
necrolib = pkgs.callPackage ./necrolib.nix {inherit opam-nix;};
}

25
nix/mypkgs/necrolib.nix Normal file
View file

@ -0,0 +1,25 @@
{
pkgs,
opam-nix,
system,
version ? "v0.14.7.1",
}: let
pname = "necrolib";
src = pkgs.fetchurl {
url = "https://gitlab.inria.fr/skeletons/necro/-/archive/${version}/necro-${version}.tar.gz";
hash = "sha256-ooc1DfTf4k9vcR2aU6CYzaGCDy4XvX98tvfzTLCljSc=";
};
on = opam-nix.lib.${system};
query = {ocaml-base-compiler = "4.14.1";};
scope = on.buildDuneProject {} pname src query;
overlay = self: super: {
# credits: balsoft
# https://github.com/tweag/opam-nix/discussions/71#discussioncomment-8344504
necrolib = super.necrolib.overrideAttrs (oa: {inherit src;});
};
in
(scope.overrideScope' overlay).${pname}