commit: 13795972d83aa1591561d7e60c220c623538b5e2
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 04:03:17 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:28 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13795972
sci-mathematics/why3-for-spark: update OCaml deps
* We need := for OCaml deps to ensure we're rebuilt
when they update for consistency, to prevent
strange issues.
* Use ocamlopt= rather than ocamlopt? in the
dev-lang/ocaml dependency to ensure ocamlopt
is consistently on/off throughout the system.
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../why3-for-spark/why3-for-spark-2018.ebuild | 16 ++++++++--------
.../why3-for-spark/why3-for-spark-2019-r1.ebuild | 14 +++++++-------
.../why3-for-spark/why3-for-spark-2019-r2.ebuild | 16 ++++++++--------
.../why3-for-spark/why3-for-spark-2019.ebuild | 14 +++++++-------
4 files changed, 30 insertions(+), 30 deletions(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
index 6314df13e4b..bb7093a5b79 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
@@ -16,18 +16,18 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="amd64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith
zip"
-RESTRICT=strip
+RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
- dev-ml/menhir
+DEPEND=">=dev-lang/ocaml-4.02.3:=[ocamlopt=]
+ dev-ml/menhir:=
coq? ( sci-mathematics/coq )
doc? ( dev-tex/rubber )
- gtk? ( dev-ml/lablgtk:2[sourceview] )
+ gtk? ( dev-ml/lablgtk:2=[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
- html? ( dev-tex/hevea )
- hypothesis-selection? ( dev-ml/ocamlgraph )
- zarith? ( dev-ml/zarith )
- zip? ( >=dev-ml/camlzip-1.07 )"
+ html? ( dev-tex/hevea:= )
+ hypothesis-selection? ( dev-ml/ocamlgraph:= )
+ zarith? ( dev-ml/zarith:= )
+ zip? ( >=dev-ml/camlzip-1.07:= )"
RDEPEND="${DEPEND}"
S="${WORKDIR}"/${MYP}
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
index 4ff38ed0330..e4953adc3ce 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
@@ -18,18 +18,18 @@ KEYWORDS="~amd64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip"
RESTRICT=strip
-DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=dev-ml/ocamlbuild-0.14.0
- dev-ml/menhir
- dev-ml/num
+ dev-ml/menhir:=
+ dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.9.1 )
doc? ( dev-tex/rubber )
gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
- html? ( dev-tex/hevea )
- hypothesis-selection? ( dev-ml/ocamlgraph )
- zarith? ( dev-ml/zarith )
- zip? ( >=dev-ml/camlzip-1.07 )"
+ html? ( dev-tex/hevea:= )
+ hypothesis-selection? ( dev-ml/ocamlgraph:= )
+ zarith? ( dev-ml/zarith:= )
+ zip? ( >=dev-ml/camlzip-1.07:= )"
RDEPEND="${DEPEND}"
S="${WORKDIR}"/${MYP}
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
index 738641a2375..9fa713b6baa 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
@@ -14,20 +14,20 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip"
-RESTRICT=strip
+RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=dev-ml/ocamlbuild-0.14.0
- dev-ml/menhir
- dev-ml/num
+ dev-ml/menhir:=
+ dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.9.1 )
doc? ( dev-tex/rubber )
gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
- html? ( dev-tex/hevea )
- hypothesis-selection? ( dev-ml/ocamlgraph )
- zarith? ( dev-ml/zarith )
- zip? ( >=dev-ml/camlzip-1.07 )"
+ html? ( dev-tex/hevea:= )
+ hypothesis-selection? ( dev-ml/ocamlgraph:= )
+ zarith? ( dev-ml/zarith:= )
+ zip? ( >=dev-ml/camlzip-1.07:= )"
RDEPEND="${DEPEND}"
S="${WORKDIR}"/${MYP}
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
index 5ad16322b0a..72c43f3fc8c 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
@@ -16,18 +16,18 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith
zip"
-RESTRICT=strip
+RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
- dev-ml/menhir
+DEPEND=">=dev-lang/ocaml-4.02.3:=[ocamlopt=]
+ dev-ml/menhir:=
coq? ( sci-mathematics/coq )
doc? ( dev-tex/rubber )
gtk? ( dev-ml/lablgtk:=[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
- html? ( dev-tex/hevea )
- hypothesis-selection? ( dev-ml/ocamlgraph )
- zarith? ( dev-ml/zarith )
- zip? ( >=dev-ml/camlzip-1.07 )"
+ html? ( dev-tex/hevea:= )
+ hypothesis-selection? ( dev-ml/ocamlgraph:= )
+ zarith? ( dev-ml/zarith:= )
+ zip? ( >=dev-ml/camlzip-1.07:= )"
RDEPEND="${DEPEND}"
S="${WORKDIR}"/${MYP}
