nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 07:53:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

idris: re-generate with cabal2nix

Browse Source
This commit is contained in:
Peter Simons 2013-09-11 20:01:57 +02:00
parent 39043ce87e
commit da6b1e6d81
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/idris/default.nix
View File

@ -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 , languageJava, libffi, llvmGeneral, mtl, parsec, split, text
, transformers, vector, vectorBinaryInstances, boehmgc , transformers, vector, vectorBinaryInstances
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
@ -14,7 +14,7 @@ cabal.mkDerivation (self: {
parsec split text transformers vector vectorBinaryInstances parsec split text transformers vector vectorBinaryInstances
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ gmp boehmgc ]; extraLibraries = [ boehmgc gmp ];
meta = { meta = {
homepage = "http://www.idris-lang.org/"; homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types"; description = "Functional Programming Language with Dependent Types";