diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 20:35:32 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 23:06:51 +0100 |
| commit | 5220d76eb17d0a2184fc4f5142c702f8e6544dac (patch) | |
| tree | c10a257dd2fc0fe487835d7a998cfd1377e4e837 /configure | |
| parent | 1c912a59c73a1ecb4c8b4d5d16bfc097d63d8546 (diff) | |
| download | ghdl-5220d76eb17d0a2184fc4f5142c702f8e6544dac.tar.gz ghdl-5220d76eb17d0a2184fc4f5142c702f8e6544dac.tar.bz2 ghdl-5220d76eb17d0a2184fc4f5142c702f8e6544dac.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" |