Rework initialization and finalization.

libghdl can now be re-initialized.

1 files changed, 6 insertions, 4 deletions

diff --git a/src/ghdldrv/ghdlrun.adb b/src/ghdldrv/ghdlrun.adb
index e19216fff..2e35122e7 100644
--- a/src/ghdldrv/ghdlrun.adb
+++ b/src/ghdldrv/ghdlrun.adb
@@ -34,6 +34,7 @@ with Interning;
 with Files_Map;
 with Name_Table;
 with Flags;
+with Libraries;
 with Errorout; use Errorout;
 
 with Vhdl.Nodes; use Vhdl.Nodes;
@@ -763,11 +764,12 @@ package body Ghdlrun is
       Ortho_Jit.Finish;
 
       Translation.Finalize;
-      Vhdl.Lists.Initialize;
-      Str_Table.Initialize;
-      Vhdl.Nodes.Initialize;
-      Files_Map.Initialize;
+      Vhdl.Lists.Finalize;
+      Str_Table.Finalize;
+      Vhdl.Nodes.Finalize;
+      Files_Map.Finalize;
       Name_Table.Finalize;
+      Libraries.Finalize;
 
       if Flag_Verbose then
          Put_Line ("Starting simulation");