diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2020-12-29 17:19:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-29 17:19:09 +0100 |
| commit | 7ca54117b8f757396ba5ef04c83ff1228ca94384 (patch) | |
| tree | cc5f7f4166cc0570bda5cf2047d3ef7abbc36e37 /configure | |
| parent | 340fc792bba2ffdb4f930bc427a39ea3a1b659b2 (diff) | |
| parent | 50adcf884c3cfa4e33ca45769295f163baa63a3e (diff) | |
| download | ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.tar.gz ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.tar.bz2 ghdl-7ca54117b8f757396ba5ef04c83ff1228ca94384.zip | |
Merge pull request #1556 from Paebbels/paebbels/pyGHDL
Cleanup and Restructuring of 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" |