Adding support for a wave option file that selects signals to be displayed (#121)

Adding support for a wave option file that selects signals to be displayed on the waveform (currently only works with the ghw wave format). Only full signal paths are supported now (no wildcards). Wave option file version set to 1.0.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb
index 78c25c17a..1b582e5bb 100644
--- a/src/grt/grt-options.adb
+++ b/src/grt/grt-options.adb
@@ -28,6 +28,7 @@ with Grt.Errors; use Grt.Errors;
 with Grt.Stdio; use Grt.Stdio;
 with Grt.Astdio;
 with Grt.Hooks;
+with Grt.Wave_Opt_File.Parse;
 
 package body Grt.Options is
 
@@ -480,6 +481,9 @@ package body Grt.Options is
             end if;
             Last_Generic_Override := Over;
          end;
+      elsif Option'Length >= 18 and then
+            Option (1 .. 19) = "--wave-option-file=" then
+         Wave_Opt_File.Parse.Start (Option (20 .. Option'Last));
       elsif Option = "--unbuffered" then
          Unbuffered_Writes := True;
          setbuf (stdout, NULL_voids);