diff options
| author | Alyssa Ross <hi@alyssa.is> | 2020-05-18 14:34:25 +0000 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2020-05-18 16:21:12 +0000 |
| commit | 93e90ca356baed5941e1cccf8c0d8e3e2c460e29 (patch) | |
| tree | f6c26f06a2f830a3f1bab00fdc029b76be8805c6 /nixpkgs/pkgs/development/libraries/agda/iowa-stdlib | |
| parent | d2753504ef2bd591ade35851dad31d3aac117e19 (diff) | |
| parent | b47873026c7e356a340d0e1de7789d4e8428ac66 (diff) | |
| download | nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar.gz nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar.bz2 nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar.lz nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar.xz nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.tar.zst nixlib-93e90ca356baed5941e1cccf8c0d8e3e2c460e29.zip | |
Merge commit 'b47873026c7e356a340d0e1de7789d4e8428ac66'
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda/iowa-stdlib')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/agda/iowa-stdlib/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/nixpkgs/pkgs/development/libraries/agda/iowa-stdlib/default.nix new file mode 100644 index 000000000000..55cd6a742e54 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/iowa-stdlib/default.nix @@ -0,0 +1,31 @@ +{ stdenv, mkDerivation, fetchFromGitHub }: + +mkDerivation (rec { + version = "1.5.0"; + pname = "iowa-stdlib"; + + src = fetchFromGitHub { + owner = "cedille"; + repo = "ial"; + rev = "v${version}"; + sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g"; + }; + + libraryFile = ""; + libraryName = "IAL-1.3"; + + buildPhase = '' + patchShebangs find-deps.sh + make + ''; + + meta = { + homepage = "https://github.com/cedille/ial"; + description = "Agda standard library developed at Iowa"; + license = stdenv.lib.licenses.free; + platforms = stdenv.lib.platforms.unix; + # broken since Agda 2.6.1 + broken = true; + maintainers = with stdenv.lib.maintainers; [ alexarice turion ]; + }; +}) |