summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/camlp4')
-rw-r--r--dev-ml/camlp4/camlp4-4.05_p1-r2.ebuild (renamed from dev-ml/camlp4/camlp4-4.05_p1-r1.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.09_p1-r2.ebuild (renamed from dev-ml/camlp4/camlp4-4.09_p1-r1.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.10_p1-r3.ebuild (renamed from dev-ml/camlp4/camlp4-4.12-r1.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.11_p1-r3.ebuild (renamed from dev-ml/camlp4/camlp4-4.11_p1-r2.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.12-r2.ebuild (renamed from dev-ml/camlp4/camlp4-4.10_p1-r2.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.13-r2.ebuild (renamed from dev-ml/camlp4/camlp4-4.13-r1.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.14-r1.ebuild (renamed from dev-ml/camlp4/camlp4-4.14.ebuild)7
-rw-r--r--dev-ml/camlp4/camlp4-4.14_p1-r2.ebuild (renamed from dev-ml/camlp4/camlp4-4.14_p1-r1.ebuild)5
8 files changed, 7 insertions, 47 deletions
diff --git a/dev-ml/camlp4/camlp4-4.05_p1-r1.ebuild b/dev-ml/camlp4/camlp4-4.05_p1-r2.ebuild
index c789ef9faa87..097328a962bf 100644
--- a/dev-ml/camlp4/camlp4-4.05_p1-r1.ebuild
+++ b/dev-ml/camlp4/camlp4-4.05_p1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -42,9 +42,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.09_p1-r1.ebuild b/dev-ml/camlp4/camlp4-4.09_p1-r2.ebuild
index 493491f04920..81cf455621fd 100644
--- a/dev-ml/camlp4/camlp4-4.09_p1-r1.ebuild
+++ b/dev-ml/camlp4/camlp4-4.09_p1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -43,9 +43,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.12-r1.ebuild b/dev-ml/camlp4/camlp4-4.10_p1-r3.ebuild
index 4626eebf04b0..64641f012733 100644
--- a/dev-ml/camlp4/camlp4-4.12-r1.ebuild
+++ b/dev-ml/camlp4/camlp4-4.10_p1-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -43,9 +43,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.11_p1-r2.ebuild b/dev-ml/camlp4/camlp4-4.11_p1-r3.ebuild
index 3cfc74cb77c9..b3c8eb765030 100644
--- a/dev-ml/camlp4/camlp4-4.11_p1-r2.ebuild
+++ b/dev-ml/camlp4/camlp4-4.11_p1-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -43,9 +43,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.10_p1-r2.ebuild b/dev-ml/camlp4/camlp4-4.12-r2.ebuild
index 4626eebf04b0..64641f012733 100644
--- a/dev-ml/camlp4/camlp4-4.10_p1-r2.ebuild
+++ b/dev-ml/camlp4/camlp4-4.12-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -43,9 +43,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.13-r1.ebuild b/dev-ml/camlp4/camlp4-4.13-r2.ebuild
index 4626eebf04b0..64641f012733 100644
--- a/dev-ml/camlp4/camlp4-4.13-r1.ebuild
+++ b/dev-ml/camlp4/camlp4-4.13-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -43,9 +43,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.14.ebuild b/dev-ml/camlp4/camlp4-4.14-r1.ebuild
index eaa857349b4c..7d638e7619a8 100644
--- a/dev-ml/camlp4/camlp4-4.14.ebuild
+++ b/dev-ml/camlp4/camlp4-4.14-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -45,9 +45,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}
diff --git a/dev-ml/camlp4/camlp4-4.14_p1-r1.ebuild b/dev-ml/camlp4/camlp4-4.14_p1-r2.ebuild
index 3959edb206f2..6911484bc206 100644
--- a/dev-ml/camlp4/camlp4-4.14_p1-r1.ebuild
+++ b/dev-ml/camlp4/camlp4-4.14_p1-r2.ebuild
@@ -48,9 +48,4 @@ src_compile() {
src_install() {
emake DESTDIR="${D}" install install-META
dodoc CHANGES.md README.md
-
- if has_version ">=dev-ml/findlib-1.9" ; then
- # See bug #803275
- rm "${ED}/usr/$(get_libdir)/ocaml/camlp4/META" || die
- fi
}