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 | |
| parent | 665761f48c3db18b62e8e1a83a0595385592d2ea (diff) | |
| download | ghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.gz ghdl-9ebb396949e2b5615456618484f39462b25af2be.tar.bz2 ghdl-9ebb396949e2b5615456618484f39462b25af2be.zip | |
configure: update version check regexp
| -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 |
