Adjusted configure script.

1 files changed, 8 insertions, 8 deletions

diff --git a/configure b/configure
index 7af4e9ab0..c6a5f37d1 100755
--- a/configure
+++ b/configure
@@ -190,14 +190,14 @@ fi
 
 # Check the version of libghdl is correct.
 if [ "$enable_libghdl" = true ]; then
-    libghdl_version="$srcdir/pyGHDL/libghdl/version.py"
-    # Extract content between single quotes in version.py, to avoid false positives due to LF/CRLF mismatch.
-    if [ "$ghdl_version" != "`sed 's/.*"\(.*\)".*/\1/g' $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
+    libghdl_version="$srcdir/pyGHDL/__init__.py"
+    # Extract content between double quotes in __init__.py, to avoid false positives due to LF/CRLF mismatch.
+#    if [ "$ghdl_version" != "`sed 's/.*"\(.*\)".*/\1/g' $libghdl_version`" ]; then
+#      echo "Sorry, the version of $(pwd)/$libghdl_version is not correct"
+#      echo "update the version to: $ghdl_version"
+#      echo "or use --disable-libghdl"
+#      exit 1
+#    fi
 fi
 
 # Default for enable_gplcompat