From b5dcc2fcfdab9cb0a80dbf598ecdef6c71333715 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 20 Jun 2019 19:02:50 +0200
Subject: libghdl: just put the version in config.py

---
 configure | 2 --
 1 file changed, 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index f2f3b4377..cd76562ed 100755
--- a/configure
+++ b/configure
@@ -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
 
-- 
cgit v1.2.3