[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-configurator/

[Alfredo Tupone]

commit:     3442c744414ac4009ab318670dbca8586f935280
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 30 19:11:04 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Sep 30 19:11:04 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3442c744

dev-ml/dune-configurator: put back vendored

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild 
b/dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild
index e843054dad74..64655885dfcc 100644
--- a/dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild
+++ b/dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild
@@ -25,7 +25,9 @@ RDEPEND="${DEPEND}"
 src_prepare() {
        default
 
-       rm -r vendor/{csexp,pp} || die
+       # This enables dune-configurator to use the vendored csexp module
+       sed -i 's/stdune.csexp/dune-configurator.csexp/' \
+               vendor/csexp/src/dune || die
 }
 
 src_configure() {