From a9715695537fe2582eaabd4a0d2cbe2322c01735 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 22 Mar 2024 13:00:52 +0000 Subject: gentoo auto-resync : 22:03:2024 - 13:00:51 --- dev-ml/facile/Manifest | 3 -- dev-ml/facile/facile-1.1.3-r1.ebuild | 53 ------------------------------- dev-ml/facile/files/facile-1.1-make.patch | 48 ---------------------------- 3 files changed, 104 deletions(-) delete mode 100644 dev-ml/facile/facile-1.1.3-r1.ebuild delete mode 100644 dev-ml/facile/files/facile-1.1-make.patch (limited to 'dev-ml/facile') diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index 99dd7a203581..5d1ac95f7b1d 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,7 +1,4 @@ -AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 AUX facile-1.1.4-dune.patch 883 BLAKE2B d563aff52eda151c9579c378253b74811759a8e66cae9dc775ebf3bed3717d6289ec40a107610032de3c575a8c98cd45651fe7d26c7a08e55887b1d2c61ad613 SHA512 df90e73916b2e42d20bae837c24be96633ef34fe731bac07307ade12fb10fbf5c575658ee295c5003f28aa989574fe323c7a3040b6063bf8522d0691a5255a5e -DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9 -EBUILD facile-1.1.3-r1.ebuild 1364 BLAKE2B 53b25c5f5ebef68a711e9df7c157361879fde240fe6ea5850a2768e68b96f09cfb3f69dfc65572c4bf719c3584310bb028d67218f928d6ba4436cc857094b9a1 SHA512 ee5c0d77a55694e1c9db0d40f93ce141782b3820031facfeb98218f090e1991ce6615bc25d196d1a5fb9e7575399b23d79dbdaf298e42d31e2a3cde1bc528439 EBUILD facile-1.1.4.ebuild 538 BLAKE2B ce4637c9c11347d92998c6e92753906d2606cba755799aedf268fd562e4afb61e410dba39e51ae76e1e86e11d1a92ca08bfc2ca91f61db4892b8bb3c16fe5053 SHA512 cd4b404eaea4c022dddbf06b05aced5a83253b06d1ac0da85379809401b6a9d247419bf0f157dbb54e576a2bb1e3c677b4e7536e3714aa0316273bdd462e3277 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 deleted file mode 100644 index c70362927300..000000000000 --- a/dev-ml/facile/facile-1.1.3-r1.ebuild +++ /dev/null @@ -1,53 +0,0 @@ -# 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="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/files/facile-1.1-make.patch b/dev-ml/facile/files/facile-1.1-make.patch deleted file mode 100644 index 7b77639d2277..000000000000 --- a/dev-ml/facile/files/facile-1.1-make.patch +++ /dev/null @@ -1,48 +0,0 @@ -diff -ur a/Makefile b/Makefile ---- a/Makefile 2004-09-08 10:51:02 +0100 -+++ b/Makefile 2007-10-23 13:11:28 +0100 -@@ -3,7 +3,7 @@ - include config_Makefile - - compile: -- cd src; make -+ cd src; $(MAKE) - - install: - if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi -@@ -14,10 +14,10 @@ - chmod a+r $(FACILEDIR)/facile.a - - clean: -- cd src; make clean -+ cd src; $(MAKE) clean - - distclean uninstall: - rm -fr $(FACILEDIR) - - check: -- cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8 -+ cd examples; $(MAKE) FACILEDIR=../src queens.opt; ./queens.opt 8 -diff -ur a/src/Makefile b/src/Makefile ---- a/src/Makefile 2004-09-08 10:51:02 +0100 -+++ b/src/Makefile 2007-10-23 13:10:34 +0100 -@@ -28,7 +28,7 @@ - # Version of the library to be linked with the -p (profiler) option - facile.p.cmxa : $(CSTR) - rm -fr $(CSTRCMX) -- make facile.cmxa OPTOPT=-p -+ $(MAKE) facile.cmxa OPTOPT=-p - rm -fr $(CSTRCMX) - mv facile.cmxa $@ - mv facile.a facile.p.a -@@ -41,8 +41,8 @@ - # Does not work with many modules (e.g. containing class expressions - facile.exp.cmxa : $(CSTR) - rm -fr $(CSTRCMX) -- make fcl_stak.cmx fcl_cstr.cmx fcl_inv.cmx fcl_reify.cmx fcl_arith.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx facile.cmx -- make facile.cmxa OPTOPT="-pp inline_functors" -+ $(MAKE) fcl_stak.cmx fcl_cstr.cmx fcl_inv.cmx fcl_reify.cmx fcl_arith.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx facile.cmx -+ $(MAKE) facile.cmxa OPTOPT="-pp inline_functors" - rm -fr $(CSTRCMX) - mv facile.cmxa $@ - mv facile.a facile.exp.a -- cgit v1.2.3