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

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