profiles: Mask dev-lang/ocaml[spacetime] everywhere and unmask it on amd64 since...

diff --git a/profiles/arch/amd64/package.use.mask b/profiles/arch/amd64/package.use.mask
index c52658cf0877480091f07017ca355b0403bccbf8..d2d9c5ce72541314bcbb5f63c1b3384f5fff10a7 100644 (file)
--- a/profiles/arch/amd64/package.use.mask
+++ b/profiles/arch/amd64/package.use.mask
@@ -18,6 +18,11 @@
 
 #--- END OF EXAMPLES ---
 
+# Alexis Ballier <aballier@gentoo.org> (21 Feb 2017)
+# spacetime works on amd64
+# https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html
+dev-lang/ocaml -spacetime
+
 # Alexis Ballier <aballier@gentoo.org> (31 Jan 2017)
 # nvidia drivers are unmasked here
 media-video/ffmpeg -nvenc

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 0d000b0549023659a3289eaa54d388f0f89e2bfe..69d768385b680cd87927119d74bb874428474f5d 100644 (file)
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -5,6 +5,11 @@
 # This file requires >=portage-2.1.1
 # New entries go on top.
 
+# Alexis Ballier <aballier@gentoo.org> (21 Feb 2017)
+# spacetime is only supported on amd64 at the moment.
+# https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html
+dev-lang/ocaml spacetime
+
 # Michał Górny <mgorny@gentoo.org> (17 Feb 2017)
 # Python 2 package relies on gedit[python] which is py3 only.
 dev-vcs/rabbitvcs gedit