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.
---
 src/ghdldrv/ghdlrun.adb | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/ghdldrv')

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");
-- 
cgit v1.2.3