pkgs/development/libraries/agda/agda-categories/default.nix

   1 {
   2   lib,
   3   mkDerivation,
   4   fetchFromGitHub,
   5   standard-library,
   6 }:
   7
   8 mkDerivation rec {
   9   version = "0.2.0";
  10   pname = "agda-categories";
  11
  12   src = fetchFromGitHub {
  13     owner = "agda";
  14     repo = "agda-categories";
  15     rev = "v${version}";
  16     sha256 = "sha256-GQuQxzYSQxAIVSJ1vf0blRC0juoxAqD1AHW66H/6NSk=";
  17   };
  18
  19   postPatch = ''
  20     # Remove this once agda-categories incorporates this fix or once Agda's
  21     # versioning system gets an overhaul in general. Right now there is no middle
  22     # ground between "no version constraint" and "exact match down to patch". We
  23     # do not want to need to change this postPatch directive on each minor
  24     # version update of the stdlib, so we get rid of the version constraint
  25     # altogether.
  26     sed -Ei 's/standard-library-[0-9.]+/standard-library/' agda-categories.agda-lib
  27
  28     # The Makefile of agda-categories uses git(1) instead of find(1) to
  29     # determine the list of source files. We cannot use git, as $PWD will not
  30     # be a valid Git working directory.
  31     find src -name '*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
  32   '';
  33
  34   buildInputs = [ standard-library ];
  35
  36   meta = with lib; {
  37     inherit (src.meta) homepage;
  38     description = "New Categories library";
  39     license = licenses.bsd3;
  40     platforms = platforms.unix;
  41     maintainers = with maintainers; [
  42       alexarice
  43       turion
  44     ];
  45   };
  46 }