From 667ab51811b612da68524043874277e6484f3392 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 16 Jun 2020 07:47:44 +0200
Subject: ghdlsynth: add --no-formal and help.

---
 src/synth/synth-flags.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/synth/synth-flags.ads')

diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads
index 0586ba58c..825cc946f 100644
--- a/src/synth/synth-flags.ads
+++ b/src/synth/synth-flags.ads
@@ -69,5 +69,8 @@ package Synth.Flags is
    --  Level at which an assert stop the simulation.
    Severity_Level : Integer := Grt.Severity.Error_Severity;
 
+   --  Synthesize PSL and assertions.
+   Flag_Formal : Boolean := True;
+
    Flag_Verbose : Boolean := False;
 end Synth.Flags;
-- 
cgit v1.2.3