From 2e51b2e18ae7c519030ce3a128baf2b800700bba Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk Date: Thu, 2 Oct 2014 09:49:42 +0100 Subject: [PATCH] agda-base: new package --- .../libraries/agda/agda-base/default.nix | 22 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 6 +++-- 2 files changed, 26 insertions(+), 2 deletions(-) create mode 100644 pkgs/development/libraries/agda/agda-base/default.nix diff --git a/pkgs/development/libraries/agda/agda-base/default.nix b/pkgs/development/libraries/agda/agda-base/default.nix new file mode 100644 index 000000000000..cf73d7dea060 --- /dev/null +++ b/pkgs/development/libraries/agda/agda-base/default.nix @@ -0,0 +1,22 @@ +{ stdenv, agda, fetchurl }: + +agda.mkDerivation (self: rec { + version = "0.1"; + name = "agda-base-${version}"; + + src = fetchurl { + url = "https://github.com/pcapriotti/agda-base/archive/v${version}.tar.gz"; + sha256 = "124h06p7jdiqr2x6r46sfab9r0cgb0fznr2qs5i1psl5yf3z74h8"; + }; + + sourceDirectories = [ "./." ]; + everythingFile = "README.agda"; + + meta = { + homepage = "https://github.com/pcapriotti/agda-base"; + description = "Base library for HoTT in Agda"; + license = stdenv.lib.licenses.bsd3; + platforms = stdenv.lib.platforms.unix; + maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; + }; +}) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 8a1f22be0a83..478ef12a421d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6808,8 +6808,6 @@ let ### DEVELOPMENT / LIBRARIES / AGDA - agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {}; - agda = callPackage ../build-support/agda { glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null; extension = self : super : {}; @@ -6817,6 +6815,10 @@ let inherit writeScriptBin; }; + agdaBase = callPackage ../development/libraries/agda/agda-base {}; + + agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {}; + agdaPrelude = callPackage ../development/libraries/agda/agda-prelude {}; AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {