24 lines
591 B
Nix
24 lines
591 B
Nix
{ mkDerivation, fetchFromGitea, lib, standard-library }:
|
|
let
|
|
src = fetchFromGitea {
|
|
domain = "git.rhiannon.website";
|
|
owner = "rhi";
|
|
repo = "agda-prelude";
|
|
rev = "d4ad218f8355fdb07c6e544ae3b6bb98165e0a18";
|
|
hash = "sha256-rm9IqbEIgiJp/bAEec0brxTMcdrvz0SkvT2TuZ0ubcw=";
|
|
};
|
|
in
|
|
mkDerivation {
|
|
pname = "agda-prelude-niss";
|
|
version = "0";
|
|
|
|
libraryName = "prelude";
|
|
inherit src;
|
|
buildInputs = [ standard-library ];
|
|
buildPhase = ''
|
|
agda -i. Prelude.agda
|
|
'';
|
|
|
|
meta.description = "not _that_ agda prelude";
|
|
meta.license = lib.licenses.wtfpl;
|
|
}
|