diff options
author | Peter Simons <simons@cryp.to> | 2013-09-11 20:01:57 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-09-11 20:45:18 +0200 |
commit | da6b1e6d8125a01c7a000e5174314de63ea719b8 (patch) | |
tree | 2e75adf8239f5b2a39fc2bd729a6ca9367c98686 /pkgs/development/compilers | |
parent | 39043ce87e5839fcdae9906f4cccf06747570825 (diff) | |
download | nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar.gz nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar.bz2 nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar.lz nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar.xz nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.tar.zst nixlib-da6b1e6d8125a01c7a000e5174314de63ea719b8.zip |
idris: re-generate with cabal2nix
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index e36924f63fed..804c48383178 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,6 +1,6 @@ -{ cabal, binary, Cabal, filepath, gmp, happy, haskeline +{ cabal, binary, boehmgc, Cabal, filepath, gmp, happy, haskeline , languageJava, libffi, llvmGeneral, mtl, parsec, split, text -, transformers, vector, vectorBinaryInstances, boehmgc +, transformers, vector, vectorBinaryInstances }: cabal.mkDerivation (self: { @@ -14,7 +14,7 @@ cabal.mkDerivation (self: { parsec split text transformers vector vectorBinaryInstances ]; buildTools = [ happy ]; - extraLibraries = [ gmp boehmgc ]; + extraLibraries = [ boehmgc gmp ]; meta = { homepage = "http://www.idris-lang.org/"; description = "Functional Programming Language with Dependent Types"; |