From f1c30ad16e0914455ee2c84e80714f6b271021f2 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 30 Dec 2020 10:29:16 +0100
Subject: Rework initialization and finalization.

libghdl can now be re-initialized.
---
 pyGHDL/dom/Misc.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'pyGHDL/dom')

diff --git a/pyGHDL/dom/Misc.py b/pyGHDL/dom/Misc.py
index df1ab4cce..0c9736cb0 100644
--- a/pyGHDL/dom/Misc.py
+++ b/pyGHDL/dom/Misc.py
@@ -27,6 +27,9 @@ class Design(VHDLModel_Design):
 
 	def __ghdl_init(self):
 		"""Initialization: set options and then load libraries"""
+		# Initialize libghdl
+		libghdl.finalize()
+		libghdl.initialize()
 
 		# Collect error messages in memory
 		errorout_memory.Install_Handler()
-- 
cgit v1.2.3