From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 7EF0E1382C5 for ; Sun, 17 Jan 2021 04:10:43 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 918BBE086E; Sun, 17 Jan 2021 04:10:39 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 6834AE086E for ; Sun, 17 Jan 2021 04:10:39 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id BD938340F13 for ; Sun, 17 Jan 2021 04:10:37 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id E880D4AF for ; Sun, 17 Jan 2021 04:10:33 +0000 (UTC) From: "Sam James" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sam James" Message-ID: <1610856628.13795972d83aa1591561d7e60c220c623538b5e2.sam@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild X-VCS-Directories: sci-mathematics/why3-for-spark/ X-VCS-Committer: sam X-VCS-Committer-Name: Sam James X-VCS-Revision: 13795972d83aa1591561d7e60c220c623538b5e2 X-VCS-Branch: master Date: Sun, 17 Jan 2021 04:10:33 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: f256df28-e414-4279-bf9a-941a09a998a0 X-Archives-Hash: 4f5c773fa3236ab643f574d4e4614462 commit: 13795972d83aa1591561d7e60c220c623538b5e2 Author: Sam James gentoo org> AuthorDate: Sun Jan 17 04:03:17 2021 +0000 Commit: Sam James gentoo 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 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}