dev-ml/dune-configurator: put back vendored

Signed-off-by: Alfredo Tupone <[email protected]>
AndCycle · Sep 30, 2024 · 3442c74 · 3442c74
1 parent e23364e
commit 3442c74
Showing 1 changed file with 3 additions and 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
@@ -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() {