pkgs/development/libraries/agda/generic/default.nix

   1 { lib, mkDerivation, fetchFromGitHub, standard-library }:
   2
   3 mkDerivation rec {
   4   pname = "generic";
   5   version = "0.1.0.2";
   6
   7   src = fetchFromGitHub {
   8     owner = "effectfully";
   9     repo = "Generic";
  10     rev = "v${version}";
  11     sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n";
  12   };
  13
  14   buildInputs = [
  15     standard-library
  16   ];
  17
  18   preBuild = ''
  19     echo "module Everything where" > Everything.agda
  20     find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
  21   '';
  22
  23   meta = with lib; {
  24     description =
  25       "A library for doing generic programming in Agda";
  26     homepage = src.meta.homepage;
  27     license = licenses.mit;
  28     platforms = platforms.unix;
  29     maintainers = with maintainers; [ alexarice turion ];
  30   };
  31 }