1 files changed, 0 insertions, 2 deletions
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