diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-28 23:12:21 +0100 |
---|---|---|
committer | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-28 23:12:21 +0100 |
commit | 13fd5ccc6a8b9e59212b5493eb319c6f932eb906 (patch) | |
tree | 8ba15020049ae61917ca2c389a5b28feab6d6511 /configure | |
parent | bfd38acc0c6f3f82823fa1a496e90ef1e64da997 (diff) | |
parent | 8da838eff60114746a5d81e7d0c21bb5e777546e (diff) | |
download | ghdl-13fd5ccc6a8b9e59212b5493eb319c6f932eb906.tar.gz ghdl-13fd5ccc6a8b9e59212b5493eb319c6f932eb906.tar.bz2 ghdl-13fd5ccc6a8b9e59212b5493eb319c6f932eb906.zip |
Merge remote-tracking branch 'github-umarcor/py/GHDL' into paebbels/pyGHDL
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -190,7 +190,7 @@ fi # Check the version of libghdl is correct. if [ "$enable_libghdl" = true ]; then - libghdl_version="$srcdir/python/libghdl/version.py" + 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 echo "Sorry, the version of $libghdl_version is not correct" |