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 B5BC11396D0 for ; Tue, 8 Aug 2017 17:15:59 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 9A5FDE0DFC; Tue, 8 Aug 2017 17:15:55 +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 6EF06E0DF9 for ; Tue, 8 Aug 2017 17:15:55 +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 7E86A3419AC for ; Tue, 8 Aug 2017 17:15:54 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 98E3E75FC for ; Tue, 8 Aug 2017 17:15:51 +0000 (UTC) From: "Andreas Sturmlechner" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andreas Sturmlechner" Message-ID: <1502212529.c74b4047c70df62c80e427215d53d90e439b46a4.asturm@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/facile/Manifest dev-ml/facile/facile-1.1.3.ebuild X-VCS-Directories: dev-ml/facile/ X-VCS-Committer: asturm X-VCS-Committer-Name: Andreas Sturmlechner X-VCS-Revision: c74b4047c70df62c80e427215d53d90e439b46a4 X-VCS-Branch: master Date: Tue, 8 Aug 2017 17:15:51 +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: 160f360f-986a-4481-a896-59a920fd3511 X-Archives-Hash: 196567e7ac944329ab0026d279c95e15 commit: c74b4047c70df62c80e427215d53d90e439b46a4 Author: Andreas Sturmlechner gentoo org> AuthorDate: Tue Aug 8 17:09:51 2017 +0000 Commit: Andreas Sturmlechner gentoo org> CommitDate: Tue Aug 8 17:15:29 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c74b4047 dev-ml/facile: 1.1.3 version bump Package-Manager: Portage-2.3.6, Repoman-2.3.1 dev-ml/facile/Manifest | 1 + dev-ml/facile/facile-1.1.3.ebuild | 53 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 54 insertions(+) diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index df8d93a1cee..aa269c885a2 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1 +1,2 @@ DIST facile-1.1.2.tar.gz 99755 SHA256 ea8b72d1d171fb44c0c6dafbddac0ccb0a453a7caafd1852919d4f805eded367 SHA512 12c086a9e1d7b2d76c36fa3d7b519da24199bb958b56050d5635cd6eb0288b6d98845b4ade74e22127b2abd405f359b0a33cfd776042187f3ab506ad656676df WHIRLPOOL d643b8b7151fa262542f6408acda23b6a29466b48fc288ea9efc8b024c418e95ca50ef005a09c61f6030faddbff6d2f013b1ffddd4544291f8387b29303a0a32 +DIST facile-1.1.3.tar.gz 99656 SHA256 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 WHIRLPOOL 31ec165d6f02ce0e3b2e4c12d151f14075916cce325f0028d56e3a2d62cdb03da7d157b223c1e7df06b30b603a89e0303a8c73b690fc659d60d7690614692b13 diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild new file mode 100644 index 00000000000..70b836ea6aa --- /dev/null +++ b/dev-ml/facile/facile-1.1.3.ebuild @@ -0,0 +1,53 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains" +HOMEPAGE="http://opti.recherche.enac.fr/" +SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" + +KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd" +IUSE="+ocamlopt" + +RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" +DEPEND="${RDEPEND} + sys-apps/sed +" + +DOCS=( README ) + +PATCHES=( "${FILESDIR}/${PN}"-1.1-make.patch ) # Fix building on FreeBSD + +src_prepare() { + default + + # Disable building native code objects if we dont have/want ocamlopt + if ! use ocamlopt; then + sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones" + sed -i -e 's/ facile\.cmxa//' src/Makefile || die "failed to remove native code objects" + sed -i -e 's/\.opt/.out/g' \ + -e 's: src/facile\.cmxa::'\ + -e 's: src/facile\.a::'\ + -e 's:^.*facile\.cmxa::'\ + -e 's:^.*facile\.a::' Makefile || die "failed to remove native code objects" + fi +} + +src_configure(){ + # This is a custom configure script and it does not support standard options + ./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die +} + +src_test() { + emake check +} + +src_install(){ + dodir $(ocamlc -where) + emake install + einstalldocs +}