linux_xanmod: 5.11.14 -> 5.11.15
[NixPkgs.git] / pkgs / development / libraries / agda / standard-library / default.nix
blobfd20a0d9a97c1ade58930a8948d64587a5fb1a1a
1 { lib, mkDerivation, fetchFromGitHub, ghcWithPackages, nixosTests }:
3 mkDerivation rec {
4   pname = "standard-library";
5   version = "1.5";
7   src = fetchFromGitHub {
8     repo = "agda-stdlib";
9     owner = "agda";
10     rev = "v${version}";
11     sha256 = "16fcb7ssj6kj687a042afaa2gq48rc8abihpm14k684ncihb2k4w";
12   };
14   nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];
15   preConfigure = ''
16     runhaskell GenerateEverything.hs
17     # We will only build/consider Everything.agda, in particular we don't want Everything*.agda
18     # do be copied to the store.
19     rm EverythingSafe.agda EverythingSafeGuardedness.agda EverythingSafeSizedTypes.agda
20   '';
22   passthru.tests = { inherit (nixosTests) agda; };
23   meta = with lib; {
24     homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
25     description = "A standard library for use with the Agda compiler";
26     license = lib.licenses.mit;
27     platforms = lib.platforms.unix;
28     maintainers = with maintainers; [ jwiegley mudri alexarice turion ];
29   };