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 7B8AC1396D9 for ; Sat, 4 Nov 2017 20:46:53 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id B702CE0DAC; Sat, 4 Nov 2017 20:46:52 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 95E73E0DAC for ; Sat, 4 Nov 2017 20:46:52 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (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 1F12933D3C7 for ; Sat, 4 Nov 2017 20:46:51 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 68A0394F0 for ; Sat, 4 Nov 2017 20:46:49 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1509828399.8762ce2768ade2f75a3f87f4591bd30a3be88f21.tupone@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-2017.ebuild X-VCS-Directories: sci-mathematics/why3-for-spark/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 8762ce2768ade2f75a3f87f4591bd30a3be88f21 X-VCS-Branch: master Date: Sat, 4 Nov 2017 20:46:49 +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-Archives-Salt: 3722e0e3-f39c-4d1d-9e4a-2e1b0f32bba9 X-Archives-Hash: 35bed923dc950f9aac90f09bb120d514 commit: 8762ce2768ade2f75a3f87f4591bd30a3be88f21 Author: Tupone Alfredo gentoo org> AuthorDate: Sat Nov 4 20:46:39 2017 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Sat Nov 4 20:46:39 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8762ce27 sci-mathematics/why3-for-spark: Add ocamlopt use flag Package-Manager: Portage-2.3.8, Repoman-2.3.3 sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild index ca75d4898e4..63af700cd3e 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild @@ -15,9 +15,9 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055 LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" -IUSE="coq doc emacs gtk html hypothesis-selection profiling zarith zip" +IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip" -DEPEND=">=dev-lang/ocaml-4.02.3 +DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?] dev-ml/menhir coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) @@ -55,6 +55,7 @@ src_configure() { $(use_enable gtk ide) \ $(use_enable html html-doc) \ $(use_enable hypothesis-selection) \ + $(use_enable ocamlopt native-code) \ $(use_enable profiling) \ $(use_enable zarith) \ $(use_enable zip) @@ -62,6 +63,13 @@ src_configure() { src_compile() { default + if use ocamlopt; then + emake byte + else + # If using bytecode we dont want to strip the binary as it would remove + # the bytecode and only leave ocamlrun... + export STRIP_MASK="*/bin/*" + fi use doc && emake doc }