diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:47:44 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:47:44 +0200 |
| commit | 667ab51811b612da68524043874277e6484f3392 (patch) | |
| tree | 09f3ab6f6013a5464c4b07b8a838b72208ed3e27 /src/ghdldrv/ghdlsynth.adb | |
| parent | 57cf7923209710dd45870ae42d38581747f81e99 (diff) | |
| download | ghdl-667ab51811b612da68524043874277e6484f3392.tar.gz ghdl-667ab51811b612da68524043874277e6484f3392.tar.bz2 ghdl-667ab51811b612da68524043874277e6484f3392.zip | |
ghdlsynth: add --no-formal and help.
Diffstat (limited to 'src/ghdldrv/ghdlsynth.adb')
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index 8ca51b81e..1ce7d3e36 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -29,6 +29,7 @@ with Errorout.Console; with Version; with Default_Paths; with Bug; +with Simple_IO; with Libraries; with Flags; @@ -81,6 +82,7 @@ package body Ghdlsynth is function Decode_Command (Cmd : Command_Synth; Name : String) return Boolean; function Get_Short_Help (Cmd : Command_Synth) return String; + procedure Disp_Long_Help (Cmd : Command_Synth); procedure Decode_Option (Cmd : in out Command_Synth; Option : String; Arg : String; @@ -103,6 +105,23 @@ package body Ghdlsynth is return "--synth [FILES... -e] UNIT [ARCH] Synthesis from UNIT"; end Get_Short_Help; + procedure Disp_Long_Help (Cmd : Command_Synth) + is + pragma Unreferenced (Cmd); + procedure P (Str : String) renames Simple_IO.Put_Line; + begin + P ("You can directly pass the list of files to synthesize:"); + P (" --synth [OPTIONS] { [--work=NAME] FILE } -e [UNIT]"); + P (" If UNIT is not present, the top unit is automatically found"); + P (" You can use --work=NAME to change the library between files"); + P ("Or use already analysed files:"); + P (" --synth [OPTIONS] -e UNIT"); + P ("In addition to analyze options, you can use:"); + P (" -gNAME=VALUE Override the generic NAME of the top unit"); + P (" --vendor-library=NAME Any unit from library NAME is a black boxe"); + P (" --no-formal Neither synthesize assert nor PSL"); + end Disp_Long_Help; + procedure Decode_Option (Cmd : in out Command_Synth; Option : String; Arg : String; @@ -117,6 +136,10 @@ package body Ghdlsynth is and then Is_Generic_Override_Option (Option) then Res := Decode_Generic_Override_Option (Option); + elsif Option = "--no-formal" then + Synth.Flags.Flag_Formal := False; + elsif Option = "--formal" then + Synth.Flags.Flag_Formal := True; elsif Option = "--top-name=hash" then Cmd.Top_Encoding := Name_Hash; elsif Option = "--top-name=asis" then |