From c4b22c35f11659fbd09dc1ec904d42322485ea2c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 23 Nov 2018 05:07:59 +0100
Subject: --dir: print library name and directory.

---
 src/ghdldrv/ghdllocal.adb | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index 022ae98c5..2f7cf1f54 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -495,6 +495,13 @@ package body Ghdllocal is
          Lib := Get_Library (Name, Command_Line_Location);
       end if;
 
+      Put ("# Library ");
+      Put (Name_Table.Image (Get_Identifier (Lib)));
+      New_Line;
+      Put ("# Directory: ");
+      Put (Name_Table.Image (Get_Library_Directory (Lib)));
+      New_Line;
+
       --  Disp contents of files.
       File := Get_Design_File_Chain (Lib);
       while File /= Null_Iir loop
-- 
cgit v1.2.3