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 e843054dad748..64655885dfccb 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() {