diff options
author | Peter Simons <simons@cryp.to> | 2012-02-14 17:00:37 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2012-02-14 17:00:37 +0000 |
commit | ac69747aa855a9222d129c968fcdfd38712624b2 (patch) | |
tree | 7ca82e0665a5c4e9559c781e0a3b4e9df956dd5e /pkgs/development/compilers | |
parent | 844d950d1328364c6e84044f3bc7ba46e64389ae (diff) | |
download | nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar.gz nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar.bz2 nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar.lz nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar.xz nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.tar.zst nixpkgs-ac69747aa855a9222d129c968fcdfd38712624b2.zip |
Regenerated all Haskell packages with the latest version of cabal2nix.
svn path=/nixpkgs/trunk/; revision=32292
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/Agda-executable/default.nix | 4 | ||||
-rw-r--r-- | pkgs/development/compilers/epic/default.nix | 4 | ||||
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 7 |
3 files changed, 9 insertions, 6 deletions
diff --git a/pkgs/development/compilers/Agda-executable/default.nix b/pkgs/development/compilers/Agda-executable/default.nix index 1b772b8dc71..427736615e0 100644 --- a/pkgs/development/compilers/Agda-executable/default.nix +++ b/pkgs/development/compilers/Agda-executable/default.nix @@ -1,4 +1,4 @@ -{ cabal, Agda }: +{ cabal, Agda, Cabal }: cabal.mkDerivation (self: { pname = "Agda-executable"; @@ -6,7 +6,7 @@ cabal.mkDerivation (self: { sha256 = "1n1ak6z2vh356k9mk0zkiv6dqp9dvx97a7r21b0xnhwkmh3f8p5p"; isLibrary = false; isExecutable = true; - buildDepends = [ Agda ]; + buildDepends = [ Agda Cabal ]; meta = { homepage = "http://wiki.portal.chalmers.se/agda/"; description = "Command-line program for type-checking and compiling Agda programs"; diff --git a/pkgs/development/compilers/epic/default.nix b/pkgs/development/compilers/epic/default.nix index 8c6b4ee50cf..33087f23c9a 100644 --- a/pkgs/development/compilers/epic/default.nix +++ b/pkgs/development/compilers/epic/default.nix @@ -1,4 +1,4 @@ -{ cabal, boehmgc, gmp, happy, mtl }: +{ cabal, boehmgc, Cabal, gmp, happy, mtl }: cabal.mkDerivation (self: { pname = "epic"; @@ -6,7 +6,7 @@ cabal.mkDerivation (self: { sha256 = "1irvfk8xf627bfzsgbqa56816jkc99rrxpml9ycg2grq7razp9fw"; isLibrary = true; isExecutable = true; - buildDepends = [ mtl ]; + buildDepends = [ Cabal mtl ]; buildTools = [ happy ]; extraLibraries = [ boehmgc gmp ]; meta = { diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 4e491ffde0d..e030fee7658 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,4 +1,5 @@ -{ cabal, binary, epic, happy, haskeline, mtl, parsec, transformers +{ cabal, binary, Cabal, epic, filepath, happy, haskeline, mtl +, parsec, transformers }: cabal.mkDerivation (self: { @@ -7,7 +8,9 @@ cabal.mkDerivation (self: { sha256 = "1yvw15750mqrvq1kd7bsk3ldq3s0z947c4f93pv7008gq5im4cvr"; isLibrary = false; isExecutable = true; - buildDepends = [ binary epic haskeline mtl parsec transformers ]; + buildDepends = [ + binary Cabal epic filepath haskeline mtl parsec transformers + ]; buildTools = [ happy ]; noHaddock = true; meta = { |