From ca7fcaa76aaf1f94284894a8d9a01bb153e80b11 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 20 Jan 2023 00:00:11 +0000 Subject: gentoo auto-resync : 20:01:2023 - 00:00:11 --- dev-ml/facile/Manifest | 2 +- dev-ml/facile/facile-1.1.3-r1.ebuild | 53 ++++++++++++++++++++++++++++++++++++ dev-ml/facile/facile-1.1.3.ebuild | 51 ---------------------------------- 3 files changed, 54 insertions(+), 52 deletions(-) create mode 100644 dev-ml/facile/facile-1.1.3-r1.ebuild delete mode 100644 dev-ml/facile/facile-1.1.3.ebuild (limited to 'dev-ml/facile') diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index 2708ffe22f3e..83d4f3971b39 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,4 +1,4 @@ AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 -EBUILD facile-1.1.3.ebuild 1348 BLAKE2B 8288e7eb8166d0629d7890696ba92d675878e7a9661b14a732404d450b8eb9e4b4d035e36d1093bbc3c9fca8a4a0411806665d8e4017e4a7a09ac9a8ad34b4cb SHA512 6e08113e2e6c8171d8e8e72b8c3c545e446e54a2021dd4db0c07babe555987aa94131810ed063e28f179631ec417f345fc987f5792af3f4f852349becff7d203 +EBUILD facile-1.1.3-r1.ebuild 1371 BLAKE2B a95ab724e5e95eddbeb057e7599f79875169d3008bc3b2651d69907c4d4649bf4e9a8886d8224048860f95870be154d2c46f8ffeefa8ad42e7dfec574dcac919 SHA512 7aa98cb8865baa7d7c04fb1982f2c3fdeb623a46e14b501896fe9ba088df3b72f543be18464909c9cc29cfb7dc301907bad73a9da21c7a8167facf7d8e867c74 MISC metadata.xml 427 BLAKE2B 5d2175a32c7c2005d4f7ce47d7c775053f4b0c2d4e707138669db582d5239356ae8a53c5b48b3751580a72db52d256250fc4aec98cfc17b40ed7567571f954df SHA512 a5add2382c31da550a44168738d8d0b10711f5d225320dac43f67e07ab443ce345b79ba027822d3e29845325a8cc0b70c20894deea260e7fad4081bbe86b6724 diff --git a/dev-ml/facile/facile-1.1.3-r1.ebuild b/dev-ml/facile/facile-1.1.3-r1.ebuild new file mode 100644 index 000000000000..ab98186bbd79 --- /dev/null +++ b/dev-ml/facile/facile-1.1.3-r1.ebuild @@ -0,0 +1,53 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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 arm64 ~hppa ~ia64 ~ppc ppc64 x86" +IUSE="+ocamlopt" + +RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" +DEPEND="${RDEPEND}" + +PATCHES=( "${FILESDIR}/${PN}"-1.1-make.patch ) # Fix building on FreeBSD + +QA_FLAGS_IGNORED='.*' + +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 + sed -i \ + -e 's|$(FACILE|$(DESTDIR)$(FACILE|g' \ + Makefile || die +} + +src_configure() { + # This is a custom configure script and it does not support standard options + ./configure || die +} + +src_test() { + emake check +} + +src_install() { + dodir $(ocamlc -where) + default +} diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild deleted file mode 100644 index c88e827bdffa..000000000000 --- a/dev-ml/facile/facile-1.1.3.ebuild +++ /dev/null @@ -1,51 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# 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 arm64 ~hppa ~ia64 ~ppc ppc64 x86" -IUSE="+ocamlopt" - -RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -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 - sed -i \ - -e 's|$(FACILE|$(DESTDIR)$(FACILE|g' \ - Makefile || die -} - -src_configure() { - # This is a custom configure script and it does not support standard options - ./configure || die -} - -src_test() { - emake check -} - -src_install() { - dodir $(ocamlc -where) - default -} -- cgit v1.2.3