diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-02-10 18:24:03 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-02-10 18:28:42 +0100 |
| commit | 01d0c060bb056b8b120cb9ce2e927aa76ad1b567 (patch) | |
| tree | 2d96ca2cd7dcce110ee22ee1861c7d1685b697a1 /src/grt/grt-options.ads | |
| parent | 7957698f300c2ad7ee33c4d43ad80ba3ecfe8253 (diff) | |
| download | ghdl-01d0c060bb056b8b120cb9ce2e927aa76ad1b567.tar.gz ghdl-01d0c060bb056b8b120cb9ce2e927aa76ad1b567.tar.bz2 ghdl-01d0c060bb056b8b120cb9ce2e927aa76ad1b567.zip | |
grt: split grt-errors, disp current process.
Diffstat (limited to 'src/grt/grt-options.ads')
| -rw-r--r-- | src/grt/grt-options.ads | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 32852d650..fd0daad07 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -23,7 +23,7 @@ -- however invalidate any other reasons why the executable file might be -- covered by the GNU Public License. with Grt.Types; use Grt.Types; -with Grt.Lib; use Grt.Lib; +with Grt.Errors; package Grt.Options is pragma Preelaborate (Grt.Options); @@ -120,7 +120,7 @@ package Grt.Options is Checks : Boolean := False; -- Level at which an assert stop the simulation. - Severity_Level : Integer := Failure_Severity; + Severity_Level : Integer := Grt.Errors.Failure_Severity; -- How assertions are handled. type Assert_Handling is @@ -157,6 +157,9 @@ package Grt.Options is -- or append_mode (TEXTIO) Unbuffered_Writes : Boolean := False; + -- Set maximum dynamic stack allocation. + Max_Stack_Allocation : Ghdl_Index_Type := 128 * 1024; + -- Helper: extract time from STR (a number followed by a unit, without -- spaces; the number is optionnal). In case of error, display an error -- message and returns -1. |