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

Idris: Build with llvm backend and libffi support

Browse Source 
Signed-off-by: Shea Levy <shea@shealevy.com>
This commit is contained in:
Shea Levy 2014-01-26 13:54:11 -05:00
parent 66e789d199
commit 3901d21c80
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,7 +2,7 @@
, deepseq, filepath, gmp, happy, haskeline, languageJava, mtl
, network, parsers, split, text, time, transformers, trifecta
, unorderedContainers, utf8String, vector, vectorBinaryInstances
, xml
, xml, llvmGeneral, libffi
}:
cabal.mkDerivation (self: {
@ -15,10 +15,11 @@ cabal.mkDerivation (self: {
ansiTerminal ansiWlPprint binary Cabal deepseq filepath haskeline
languageJava mtl network parsers split text time transformers
trifecta unorderedContainers utf8String vector
vectorBinaryInstances xml
vectorBinaryInstances xml llvmGeneral
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ];
extraLibraries = [ boehmgc gmp libffi ];
configureFlags = [ "-f" "llvm" "-f" "gmp" "-f" "ffi" ];
meta = {
homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types";