diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -190,9 +190,9 @@ 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 + 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 -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" |