From 7844307638c4666c0fc4a330b7d536722fc13460 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 24 Jun 2019 18:58:30 +0200
Subject: python: add version.py, check it in configure.

---
 configure | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 82ec1c949..3d74557da 100755
--- a/configure
+++ b/configure
@@ -178,6 +178,18 @@ if ! $CC -v 2> /dev/null; then
 	exit 1
 fi
 
+# Check the version of libghdl is correct.
+if [ "$enable_libghdl" = true ]; then
+    libghdl_version="$srcdir/python/libghdl/version.py"
+    if ! echo "__version__ = '${ghdl_version}'" | cmp "$libghdl_version" ; then
+	echo "Sorry, the version of $libghdl_version is not correct"
+	echo "update the version to: $ghdl_version"
+	echo "or use --disable-libghdl"
+	exit 1
+    fi
+fi
+
+
 # Default for enable_openieee
 if [ "$enable_openieee" = "unknown" ]; then
 	if test -d $srcdir/libraries/ieee ; then
@@ -294,12 +306,6 @@ if [ ! -d pic ]; then
 	fi
 fi
 
-if [ "$enable_libghdl" = true ]; then
-	cat > config.py <<-EOF
-__version__ = '${ghdl_version}'
-EOF
-fi
-
 # Generate config.status
 rm -f config.status
 {
-- 
cgit v1.2.3