From 1803f976121985c6e8e7506c9b959e8d2b5f718c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 19 Oct 2018 05:12:20 +0200
Subject: Pass time-resolution to grt.

Use time-resolution for Put_Time.
Use time-resolution for --stop-time (Parse_Time).
Use time-resolution as VpiTimePrecision and for vcd.
TODO: ghw (but needs to update ghwlib and gtkwave)

Fix #672
---
 src/flags.ads | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/flags.ads')

diff --git a/src/flags.ads b/src/flags.ads
index 3134c14de..cae0fa82a 100644
--- a/src/flags.ads
+++ b/src/flags.ads
@@ -37,6 +37,8 @@ package Flags is
    --  Some flags (such as vhdl version) must be the same for every design
    --  units of a hierarchy.
    --  The Flag_String is a signature of all these flags.
+   --  Note: Flag_String (5) (time resolution) is directly overwritten in
+   --   ghdlrun.
    Flag_String : String (1 .. 5);
    procedure Create_Flag_String;
 
-- 
cgit v1.2.3