pkgs/development/libraries/agda/iowa-stdlib/default.nix

   1 { lib, mkDerivation, fetchFromGitHub }:
   2
   3 mkDerivation (rec {
   4   version = "1.5.0";
   5   pname = "iowa-stdlib";
   6
   7   src = fetchFromGitHub {
   8     owner = "cedille";
   9     repo  = "ial";
  10     rev = "v${version}";
  11     sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g";
  12   };
  13
  14   libraryFile = "";
  15   libraryName = "IAL-1.3";
  16
  17   buildPhase = ''
  18     patchShebangs find-deps.sh
  19     make
  20   '';
  21
  22   meta = {
  23     homepage = "https://github.com/cedille/ial";
  24     description = "Agda standard library developed at Iowa";
  25     license = lib.licenses.free;
  26     platforms = lib.platforms.unix;
  27     # broken since Agda 2.6.1
  28     broken = true;
  29     maintainers = with lib.maintainers; [ alexarice turion ];
  30   };
  31 })