Verified Commit 3ec7d9da authored by Camil Staps's avatar Camil Staps
Browse files

Move -desc and -exl from compilation options to project options

parent bd113376
......@@ -53,10 +53,6 @@ only generate object (.o) files of modules in the project.
These options apply whenever a module is recompiled, but do not trigger recompilation themselves.
.IP -ci\ -nci
enable/disable array indices checking. (default: -nci)
.IP -desc
generate all descriptors.
.IP -exl
export local labels.
.IP -dynamics
enable support for dynamics.
.IP -lt\ -nlt
......@@ -72,6 +68,10 @@ enable the function totality checker but only emit it as a warning.
.SH PROJECT OPTIONS
These options apply to the whole project.
If a module was previously compiled with different options, it is recompiled.
.IP -desc
generate all descriptors.
.IP -exl
export local labels.
.IP -tst
enable the generation of code for stack tracing. (default disabled)
.IP -pt\ -npt
......
......@@ -4056,8 +4056,6 @@ static void argument_error (void)
printf ("\nCompilation options:\n");
printf (" -ci -nci Enable/disable array indices checking\n");
printf (" (default: -nci)\n");
printf (" -desc Generate all descriptors\n");
printf (" -exl Export local labels\n");
printf (" -dynamics Enable support for dynamics\n");
printf (" -lt -nlt Enable/disable listing only the inferred types\n");
printf (" (note: strictness information is never included)\n");
......@@ -4070,6 +4068,8 @@ static void argument_error (void)
printf (" -warnfuncmayfail\n");
printf (" Enable the function totality checker but only emit warnings\n");
printf ("\nProject options:\n");
printf (" -desc Generate all descriptors\n");
printf (" -exl Export local labels\n");
printf (" -tst Generate code for stack tracing\n");
printf (" -pt -npt Enable/disable the generation of code for time profiling\n");
printf (" (default: -npt)\n");
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment