summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAndreas Sturmlechner <asturm@gentoo.org>2024-03-22 10:55:19 +0100
committerAndreas Sturmlechner <asturm@gentoo.org>2024-03-22 10:55:19 +0100
commit4b4b386eb940284e43dd66ca43a3eda3816e08b6 (patch)
treeea315bda1fcca4ea515b4b87d1f2c4976b1b8030 /dev-ml
parentnet-misc/frr: drop 9.0, 9.0.1 (diff)
downloadgentoo-4b4b386eb940284e43dd66ca43a3eda3816e08b6.tar.gz
gentoo-4b4b386eb940284e43dd66ca43a3eda3816e08b6.tar.bz2
gentoo-4b4b386eb940284e43dd66ca43a3eda3816e08b6.zip
dev-ml/facile: drop 1.1.3-r1
Closes: https://bugs.gentoo.org/909072 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/facile/Manifest1
-rw-r--r--dev-ml/facile/facile-1.1.3-r1.ebuild53
-rw-r--r--dev-ml/facile/files/facile-1.1-make.patch48
3 files changed, 0 insertions, 102 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index 8d6cbde9bf91..95ae8dfd8d61 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1,2 +1 @@
-DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346
DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9
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