diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-10-17 06:27:54 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-10-17 06:27:54 +0200 |
commit | 3b58d4bbef3902d444c60c6d647ec2b083ad166e (patch) | |
tree | 31129dda44db925c5b3a83821e302aa3e239ec85 /src/flags.ads | |
parent | 20a49e1ed483deea8531fef92ac0064355eed729 (diff) | |
download | ghdl-3b58d4bbef3902d444c60c6d647ec2b083ad166e.tar.gz ghdl-3b58d4bbef3902d444c60c6d647ec2b083ad166e.tar.bz2 ghdl-3b58d4bbef3902d444c60c6d647ec2b083ad166e.zip |
nodes_gc: move checks in libraries (WIP)
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads index 4bb6ec486..dc6dcc96d 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -67,6 +67,10 @@ package Flags is -- -dstats: disp statistics. Dump_Stats : Boolean := False; + -- If not 0, do internal consistency and leaks check on the AST after + -- analysis. + Check_Ast_Level : Natural := 0; + -- -lX options: list tree as a vhdl file. -- --lall option: makes -lX options to apply to all files |