summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2020-04-07 20:41:04 +0200
committerAlfredo Tupone <tupone@gentoo.org>2020-04-07 20:41:04 +0200
commita5590b6514a5b93c85532b54a4cb81e03a8a5174 (patch)
tree23249534542f1878ce2199f6a203879f627f3a5a /dev-ml/num
parentmate-base/mate-session-manager: Fix typo and to hopefully be foolproof (diff)
downloadgentoo-a5590b6514a5b93c85532b54a4cb81e03a8a5174.tar.gz
gentoo-a5590b6514a5b93c85532b54a4cb81e03a8a5174.tar.bz2
gentoo-a5590b6514a5b93c85532b54a4cb81e03a8a5174.zip
dev-ml/num: use ocamlopt
Closes: https://bugs.gentoo.org/710892 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/num')
-rw-r--r--dev-ml/num/metadata.xml5
-rw-r--r--dev-ml/num/num-1.3.ebuild4
2 files changed, 6 insertions, 3 deletions
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml
index bca0744b282e..d0e866f244f8 100644
--- a/dev-ml/num/metadata.xml
+++ b/dev-ml/num/metadata.xml
@@ -1,5 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
</pkgmetadata>
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
index e8cffd40ddb3..0f68ec7d75bf 100644
--- a/dev-ml/num/num-1.3.ebuild
+++ b/dev-ml/num/num-1.3.ebuild
@@ -14,8 +14,8 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.09.0
- >=dev-ml/findlib-1.8.1"
+DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt]
+ >=dev-ml/findlib-1.8.1[ocamlopt]"
RDEPEND="${DEPEND}"
BDEPEND="${DEPEND}"