summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-09-28 16:30:03 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-09-28 16:30:03 +0200
commitb9ee8358ab1e40df4a9a3632388c31f73d4a8e79 (patch)
tree47d7fcea4880f1a1d783e40fded89c88af55581a /dev-ml
parentdev-ml/*: remove vendored `csexp` and `pp` before the build process (diff)
downloadgentoo-b9ee8358ab1e40df4a9a3632388c31f73d4a8e79.tar.gz
gentoo-b9ee8358ab1e40df4a9a3632388c31f73d4a8e79.tar.bz2
gentoo-b9ee8358ab1e40df4a9a3632388c31f73d4a8e79.zip
dev-ml/dune-private-libs: required pp is not stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild3
1 files changed, 1 insertions, 2 deletions
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
index 86b86d785695..c8fea8c3b226 100644
--- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
+++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
@@ -20,7 +20,6 @@ RESTRICT="test"
BDEPEND=">=dev-ml/dune-3.12"
DEPEND="
dev-ml/csexp:=[ocamlopt?]
- >=dev-ml/pp-1.2.0:=[ocamlopt?]
"
RDEPEND="${DEPEND}
!dev-ml/stdune
@@ -31,7 +30,7 @@ RDEPEND="${DEPEND}
src_prepare() {
default
- rm -r vendor/{csexp,pp} || die
+ rm -r vendor/csexp || die
}
src_configure() {