summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-06-13 10:13:20 +0200
committerAlfredo Tupone <tupone@gentoo.org>2021-06-13 10:13:20 +0200
commit56f5892bc2fcb42fb1f05b81941d40070d584f0f (patch)
tree6773a267ed366fe3b35e4a534b4a9ae4742c6e9a
parentmedia-sound/csound: bump to 6.16.0 + sync'd live (diff)
downloadgentoo-56f5892b.tar.gz
gentoo-56f5892b.tar.bz2
gentoo-56f5892b.zip
dev-ml/num: changing compiler need a rebuild, add RDEPEND
Closes: https://bugs.gentoo.org/795711 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r--dev-ml/num/num-1.4-r1.ebuild2
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index dca4527a23d9..cd7d2f4efd2b 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -15,6 +15,8 @@ SLOT="0"
KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
+RDEPEND="dev-lang/ocaml:="
+
src_compile() {
emake CFLAGS="${CFLAGS}"
}