diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda')
4 files changed, 117 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix new file mode 100644 index 000000000000..9eb68b5a64ac --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix @@ -0,0 +1,28 @@ +{ lib, mkDerivation, fetchFromGitHub, standard-library }: + +mkDerivation rec { + version = "0.1"; + pname = "agda-categories"; + + src = fetchFromGitHub { + owner = "agda"; + repo = "agda-categories"; + rev = "release/v${version}"; + sha256 = "0m4pjy92jg6zfziyv0bxv5if03g8k4413ld8c3ii2xa8bzfn04m2"; + }; + + buildInputs = [ standard-library ]; + + meta = with lib; { + inherit (src.meta) homepage; + description = "A new Categories library"; + license = licenses.bsd3; + platforms = platforms.unix; + # agda categories takes a lot of memory to build. + # This can be removed if this is eventually fixed upstream. + hydraPlatforms = []; + # Waiting for release 0.2 for this to work + broken = true; + maintainers = with maintainers; [ alexarice turion ]; + }; +} diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix new file mode 100644 index 000000000000..2bec10c02dd1 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -0,0 +1,32 @@ +{ stdenv, mkDerivation, fetchFromGitHub }: + +mkDerivation rec { + version = "compat-2.6.0"; + pname = "agda-prelude"; + + src = fetchFromGitHub { + owner = "UlfNorell"; + repo = "agda-prelude"; + rev = version; + sha256 = "0brg61qrf8izqav80qpx77dbdxvlnsxyy0v7hmlrmhg68b5lp38y"; + }; + + 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 turion ]; + }; +} 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 ]; + }; +}) diff --git a/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix b/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix new file mode 100644 index 000000000000..4bff585ac3a9 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix @@ -0,0 +1,26 @@ +{ stdenv, mkDerivation, fetchFromGitHub, ghcWithPackages }: + +mkDerivation rec { + pname = "standard-library"; + version = "1.3"; + + src = fetchFromGitHub { + repo = "agda-stdlib"; + owner = "agda"; + rev = "v${version}"; + sha256 = "18kl20z3bjfgx5m3nvrdj5776qmpi7jl2p12pqybsls2lf86m0d5"; + }; + + nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; + preConfigure = '' + runhaskell GenerateEverything.hs + ''; + + meta = with stdenv.lib; { + homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; + description = "A standard library for use with the Agda compiler"; + license = stdenv.lib.licenses.mit; + platforms = stdenv.lib.platforms.unix; + maintainers = with maintainers; [ jwiegley mudri alexarice turion ]; + }; +} |