diff options
-rw-r--r-- | dev-lang/polyml/polyml-5.9-r1.ebuild (renamed from dev-lang/polyml/polyml-5.9.ebuild) | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dev-lang/polyml/polyml-5.9.ebuild b/dev-lang/polyml/polyml-5.9-r1.ebuild index 274072233610..36f9d9054e80 100644 --- a/dev-lang/polyml/polyml-5.9.ebuild +++ b/dev-lang/polyml/polyml-5.9-r1.ebuild @@ -17,7 +17,7 @@ IUSE="X +gmp portable" RDEPEND=" dev-libs/libffi:= X? ( x11-libs/motif:0 ) - gmp? ( >=dev-libs/gmp-5 ) + gmp? ( >=dev-libs/gmp-5:= ) " DEPEND="${RDEPEND}" @@ -32,7 +32,6 @@ src_prepare() { src_configure() { local myconf=( - --disable-static --enable-shared --with-pic=pic-only $(use_enable !portable native-codegeneration) |