aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorumarcor <unai.martinezcorral@ehu.eus>2021-12-15 23:45:26 +0100
committerumarcor <unai.martinezcorral@ehu.eus>2021-12-15 23:45:26 +0100
commit9ebb396949e2b5615456618484f39462b25af2be (patch)
tree6b66843f311f10ca66ef01fe14a89531e15be0d3 /configure
parent665761f48c3db18b62e8e1a83a0595385592d2ea (diff)
downloadghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.gz
ghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.bz2
ghdl-9ebb396949e2b5615456618484f39462b25af2be.zip
configure: update version check regexp
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 6 insertions, 6 deletions
diff --git a/configure b/configure
index c6a5f37d1..fb5d4fe19 100755
--- a/configure
+++ b/configure
@@ -192,12 +192,12 @@ fi
if [ "$enable_libghdl" = true ]; then
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
+ if [ "$ghdl_version" != "`sed -n 's/^__version__.*"\(.*\)".*/\1/gp' $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_gplcompat