diff options
| author |   Hiroki Tokunaga <tokusan441@gmail.com> | 2024-09-28 16:53:21 +0900 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2024-09-28 16:27:56 +0200 |
| commit | 2bdf5a887a2a4bac72846b7d2bdedcd506f39dfe (patch) | |
| tree | bf73849458c1f97942598c318a514149df4e3400 /dev-ml/dune-private-libs | |
| parent | dev-util/idea-community: Do not remove bundled jbr (diff) | |
| download | gentoo-2bdf5a887a2a4bac72846b7d2bdedcd506f39dfe.tar.gz gentoo-2bdf5a887a2a4bac72846b7d2bdedcd506f39dfe.tar.bz2 gentoo-2bdf5a887a2a4bac72846b7d2bdedcd506f39dfe.zip | |
dev-ml/*: remove vendored `csexp` and `pp` before the build process
Closes: https://bugs.gentoo.org/940360
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/38801
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/dune-private-libs')
| -rw-r--r-- | dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild (renamed from dev-ml/dune-private-libs/dune-private-libs-3.16.0-r3.ebuild) | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r3.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild index 5f18338cf9ee..86b86d785695 100644 --- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r3.ebuild +++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild @@ -20,6 +20,7 @@ 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 @@ -27,6 +28,12 @@ RDEPEND="${DEPEND} !dev-ml/ordering " +src_prepare() { + default + + rm -r vendor/{csexp,pp} || die +} + src_configure() { : } |