diff options
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads index a90a4fea0..b05a830a3 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -148,6 +148,9 @@ package Flags is -- constant x : xtype := x; Flag_Relaxed_Rules : Boolean := False; + -- If true, allow to use synopsys packages (std_logic_arith & co). + Flag_Synopsys : Boolean := False; + -- --warn-undriven --Warn_Undriven : Boolean := False; |