diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 13:20:59 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:11 +0100 |
| commit | c2814be3a329288a391c9436493ab6dcaa36f3ce (patch) | |
| tree | ce4761dd28eaf0b7f1dea5bcf0450e912902ce1c /pkgs/development/libraries/agda | |
| parent | d30e2468e0c7875d3d4d47404f52647ccea76fcf (diff) | |
| download | nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar.gz nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar.bz2 nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar.lz nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar.xz nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.tar.zst nixpkgs-c2814be3a329288a391c9436493ab6dcaa36f3ce.zip | |
agda-prelude: update
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-prelude/default.nix | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix index 1709ce314d9..bdc1b27cef4 100644 --- a/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -1,23 +1,32 @@ { stdenv, mkDerivation, fetchFromGitHub }: mkDerivation rec { - version = "eacc961c2c312b7443109a7872f99d55557df317"; + version = "compat-2.6.0"; pname = "agda-prelude"; src = fetchFromGitHub { owner = "UlfNorell"; repo = "agda-prelude"; rev = version; - sha256 = "0iql67hb1q0fn8dwkcx07brkdkxqfqrsbwjy71ndir0k7qzw7qv2"; + sha256 = "0brg61qrf8izqav80qpx77dbdxvlnsxyy0v7hmlrmhg68b5lp38y"; }; - everythingFile = "src/Prelude.agda"; + preConfigure = '' + cd test + make everything + mv Everything.agda .. + cd .. + ''; + + everythingFile = "./Everything.agda"; meta = with stdenv.lib; { homepage = "https://github.com/UlfNorell/agda-prelude"; description = "Programming library for Agda"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; + # broken since Agda 2.6.1 + broken = true; maintainers = with maintainers; [ mudri alexarice ]; }; } |