tjh.dev
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 ghcWithPackages,
6 nixosTests,
7}:
8
9mkDerivation rec {
10 pname = "standard-library";
11 version = "2.2";
12
13 src = fetchFromGitHub {
14 repo = "agda-stdlib";
15 owner = "agda";
16 rev = "v${version}";
17 hash = "sha256-/Fy5EOSbVNXt6Jq0yKSnlNPW4SYfn+eCTAYFnMZrbR0=";
18 };
19
20 nativeBuildInputs = [ (ghcWithPackages (self: [ self.filemanip ])) ];
21 preConfigure = ''
22 runhaskell GenerateEverything.hs --include-deprecated
23 # We will only build/consider Everything.agda, in particular we don't want Everything*.agda
24 # do be copied to the store.
25 rm EverythingSafe.agda
26 '';
27
28 passthru.tests = { inherit (nixosTests) agda; };
29 meta = with lib; {
30 homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
31 description = "Standard library for use with the Agda compiler";
32 license = lib.licenses.mit;
33 platforms = lib.platforms.unix;
34 maintainers = with maintainers; [
35 jwiegley
36 mudri
37 alexarice
38 turion
39 ];
40 };
41}