diff options
| -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 |