diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-15 23:45:26 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-15 23:45:26 +0100 |
commit | 9ebb396949e2b5615456618484f39462b25af2be (patch) | |
tree | 6b66843f311f10ca66ef01fe14a89531e15be0d3 /configure | |
parent | 665761f48c3db18b62e8e1a83a0595385592d2ea (diff) | |
download | ghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.gz ghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.bz2 ghdl-9ebb396949e2b5615456618484f39462b25af2be.zip |
configure: update version check regexp
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |