gap: add readline support
Technically optional but strongly recommended from upstream. Replaces their own implementation for input parsing.
This commit is contained in:
parent
f15c816584
commit
d689f3fe72
@ -3,6 +3,7 @@
|
|||||||
, fetchurl
|
, fetchurl
|
||||||
, fetchpatch
|
, fetchpatch
|
||||||
, makeWrapper
|
, makeWrapper
|
||||||
|
, readline
|
||||||
, gmp
|
, gmp
|
||||||
# one of
|
# one of
|
||||||
# - "minimal" (~400M):
|
# - "minimal" (~400M):
|
||||||
@ -75,6 +76,7 @@ stdenv.mkDerivation rec {
|
|||||||
configureFlags = [ "--with-gmp=system" ];
|
configureFlags = [ "--with-gmp=system" ];
|
||||||
|
|
||||||
buildInputs = [
|
buildInputs = [
|
||||||
|
readline
|
||||||
gmp
|
gmp
|
||||||
];
|
];
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user