diff options
author | Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com> | 2020-05-19 11:20:35 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-19 13:20:35 -0400 |
commit | f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2 (patch) | |
tree | 66f131dd202d5398aee7c80352ef865d372ac544 /pkgs/development | |
parent | 698e71db2c47b5d3a206c65288f88ab4320eaf1e (diff) |
agdaPackages.cubical: init at 0.2 (#76994)
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix new file mode 100644 index 0000000000000..241caf16d6794 --- /dev/null +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -0,0 +1,33 @@ +{ lib, mkDerivation, fetchFromGitHub, ghc, glibcLocales }: + +mkDerivation rec { + + # Version 0.2 is meant to be used with the Agda 2.6.1 compiler. + pname = "cubical"; + version = "0.2"; + + src = fetchFromGitHub { + repo = pname; + owner = "agda"; + rev = "v${version}"; + sha256 = "07qlp2f189jvzbn3aqvpqk2zxpkmkxhhkjsn62iq436kxqj3z6c2"; + }; + + LC_ALL = "en_US.UTF-8"; + + # The cubical library has several `Everything.agda` files, which are + # compiled through the make file they provide. + nativeBuildInputs = [ ghc glibcLocales ]; + buildPhase = '' + make + ''; + + meta = with lib; { + description = + "A cubical type theory library for use with the Agda compiler"; + homepage = src.meta.homepage; + license = licenses.mit; + platforms = platforms.unix; + maintainers = with maintainers; [ alexarice ryanorendorff ]; + }; +} |