public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added Agda-executable. 

svn path=/nixpkgs/trunk/; revision=26737
This commit is contained in:
Andres Löh 2011-04-07 12:10:38 +00:00
parent 36d95a3220
commit 1d4428fbdb
2 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/compilers/Agda-executable/default.nix Normal file
View File

@ -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];
};
})

2
pkgs/top-level/haskell-packages.nix
View File

@ -1027,6 +1027,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
# Compilers. # Compilers.
AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
ehc = callPackage ../development/compilers/ehc { ehc = callPackage ../development/compilers/ehc {
inherit (pkgs) fetchsvn stdenv coreutils glibc m4 libtool llvm; inherit (pkgs) fetchsvn stdenv coreutils glibc m4 libtool llvm;
}; };