diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-03 21:19:01 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-03 22:53:19 +0100 |
| commit | 6b37da4864f81716c5cb6d48810cf56245c7c70d (patch) | |
| tree | ddb9663e88a9e4ea8af5804aee6cbefb2c4df7ad /dev-lang | |
| parent | dev-ml/ppx_deriving_yojson: format (diff) | |
| download | gentoo-6b37da4864f81716c5cb6d48810cf56245c7c70d.tar.gz gentoo-6b37da4864f81716c5cb6d48810cf56245c7c70d.tar.bz2 gentoo-6b37da4864f81716c5cb6d48810cf56245c7c70d.zip | |
dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
| -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) |