Author: andres
Date: Thu Apr 7 12:10:38 2011
New Revision: 26737
URL: https://svn.nixos.org/websvn/nix/?rev=26737&sc=1
Log:
Added Agda-executable.
Added:
nixpkgs/trunk/pkgs/development/compilers/Agda-executable/
nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/haskell-packages.nix
Added: nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/development/compilers/Agda-executable/default.nix
Thu Apr 7 12:10:38 2011 (r26737)
@@ -0,0 +1,13 @@
+{cabal, Agda}:
+
+cabal.mkDerivation (self : {
+ pname = "Agda-executable";
+ name = self.fname;
+ version = "2.2.10";
+ sha256 = "0jjlbz5vaz1pasfws1cy8wvllzdzv3sxm2lfj6bckl93kdrxlpy6";
+ propagatedBuildInputs = [Agda];
+ meta = {
+ description = "Command-line program for type-checking and compiling Agda
programs";
+ maintainers = [self.stdenv.lib.maintainers.andres];
+ };
+})
Modified: nixpkgs/trunk/pkgs/top-level/haskell-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/haskell-packages.nix Thu Apr 7 11:26:41
2011 (r26736)
+++ nixpkgs/trunk/pkgs/top-level/haskell-packages.nix Thu Apr 7 12:10:38
2011 (r26737)
@@ -1027,6 +1027,8 @@
# Compilers.
+ AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
+
ehc = callPackage ../development/compilers/ehc {
inherit (pkgs) fetchsvn stdenv coreutils glibc m4 libtool llvm;
};
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
