From 84010b6b360243f44656bf7c13295772027e8497 Mon Sep 17 00:00:00 2001
From: dedner <a.s.dedner@warwick.ac.uk>
Date: Sat, 12 Dec 2020 11:11:46 +0000
Subject: [PATCH] ignore dune-py in dune module search so dunecontrol and
duneproject don't pick it up to build or in dependency list
should be dune_py instead of dune-py
---
lib/dunemodules.lib | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/lib/dunemodules.lib b/lib/dunemodules.lib
index 7eb609931..cf9a66bdd 100644
--- a/lib/dunemodules.lib
+++ b/lib/dunemodules.lib
@@ -69,6 +69,10 @@ parse_control() {
echo "ERROR: $CONTROL files $1 contains an invalid Module entry" >&2
exit 1
fi
+ # don't include the generated `dune-py` module in the dependency list
+ if test "$module" = "dune_py" ; then
+ return
+ fi
# read dune.module file
local deps="$($GREP "^[BLANK]*Depends:" "$1" | cut -d ':' -f2 | eval $PARSER_TRIM)"
local sugs="$($GREP "^[BLANK]*Suggests:" "$1" | cut -d ':' -f2 | eval $PARSER_TRIM)"
--
GitLab