diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-06-20 19:02:50 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-06-20 19:02:50 +0200 |
commit | b5dcc2fcfdab9cb0a80dbf598ecdef6c71333715 (patch) | |
tree | 1228ba774b42784ca976ade814ac03f0abeb4672 /configure | |
parent | f7aaec6245aea5a59e33b8e4f3aeb11375ef23b0 (diff) | |
download | ghdl-b5dcc2fcfdab9cb0a80dbf598ecdef6c71333715.tar.gz ghdl-b5dcc2fcfdab9cb0a80dbf598ecdef6c71333715.tar.bz2 ghdl-b5dcc2fcfdab9cb0a80dbf598ecdef6c71333715.zip |
libghdl: just put the version in config.py
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -296,8 +296,6 @@ fi if [ "$enable_libghdl" = true ]; then cat > config.py <<-EOF __version__ = '${ghdl_version}' -__libghdl_version__ = '${libghdl_version}' -__libghdl__ = 'libghdl-${libghdl_version}${SOEXT}' EOF fi |