pkgs/development/libraries/agda/standard-library/default.nix

   1 {
   2   lib,
   3   mkDerivation,
   4   fetchFromGitHub,
   5   ghcWithPackages,
   6   nixosTests,
   7 }:
   8
   9 mkDerivation rec {
  10   pname = "standard-library";
  11   version = "2.1.1";
  12
  13   src = fetchFromGitHub {
  14     repo = "agda-stdlib";
  15     owner = "agda";
  16     rev = "v${version}";
  17     hash = "sha256-4HfwNAkIhk1yC/oSxZ30xilzUM5/22nzbUSqTjcW5Ng=";
  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 }