mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-22 05:19:00 +02:00
polyml: enable libffi and gmp
Thanks, @Mic92.
This commit is contained in:
parent
478e88d13e
commit
6818848fac
|
@ -1,4 +1,4 @@
|
|||
{ stdenv, fetchFromGitHub, autoreconfHook }:
|
||||
{ stdenv, fetchFromGitHub, autoreconfHook, gmp, libffi }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "polyml-${version}";
|
||||
|
@ -8,7 +8,14 @@ stdenv.mkDerivation rec {
|
|||
substituteInPlace configure.ac --replace stdc++ c++
|
||||
'';
|
||||
|
||||
buildInputs = stdenv.lib.optional stdenv.isDarwin autoreconfHook;
|
||||
buildInputs = [ libffi gmp ] ++
|
||||
stdenv.lib.optional stdenv.isDarwin autoreconfHook;
|
||||
|
||||
configureFlags = [
|
||||
"--enable-shared"
|
||||
"--with-system-libffi"
|
||||
"--with-gmp"
|
||||
];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "polyml";
|
||||
|
|
Loading…
Reference in a new issue