diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 20:35:32 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 20:55:40 +0100 |
| commit | 6ddeeacd24134ae1e6729c82e90ca49153d6b5f4 (patch) | |
| tree | 8937077f5bdc9827399df480ed991e2de001b5e5 /configure | |
| parent | 1c912a59c73a1ecb4c8b4d5d16bfc097d63d8546 (diff) | |
| download | ghdl-6ddeeacd24134ae1e6729c82e90ca49153d6b5f4.tar.gz ghdl-6ddeeacd24134ae1e6729c82e90ca49153d6b5f4.tar.bz2 ghdl-6ddeeacd24134ae1e6729c82e90ca49153d6b5f4.zip | |
scripts: move 'pyGHDL/xtools' to 'scripts', update Makefiles and docs accordingly
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" |