Configuration

- Added default config option of `modman:strict_headers` and set it to `false`
This commit is contained in:
Tristan B. Velloza Kildaire 2024-03-31 23:26:09 +02:00
parent 70337d62af
commit 2609d08b0a
1 changed files with 9 additions and 0 deletions

View File

@ -239,6 +239,15 @@ public final class CompilerConfiguration
searchPaths = []; // TODO: Disabling for now
config.addConfig(ConfigEntry("modman:path", searchPaths));
/**
* If enabled then a module with
* `module c;` must be named
* `c.t`
*/
// FIXME: Make true by default - this WILL break many unittests and semantic ones
// so be very sure before you enable this
config.addConfig(ConfigEntry("modman:strict_headers", false));
return config;
}
}