diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-06-13 10:13:20 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-06-13 10:13:20 +0200 |
commit | 56f5892bc2fcb42fb1f05b81941d40070d584f0f (patch) | |
tree | 6773a267ed366fe3b35e4a534b4a9ae4742c6e9a /dev-ml/num | |
parent | media-sound/csound: bump to 6.16.0 + sync'd live (diff) | |
download | gentoo-56f5892bc2fcb42fb1f05b81941d40070d584f0f.tar.gz gentoo-56f5892bc2fcb42fb1f05b81941d40070d584f0f.tar.bz2 gentoo-56f5892bc2fcb42fb1f05b81941d40070d584f0f.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>
Diffstat (limited to 'dev-ml/num')
-rw-r--r-- | dev-ml/num/num-1.4-r1.ebuild | 2 |
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}" } |