godotengine/godot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #72849 from RedworkDE/net-export-settings

Browse Source 
C#: Rename export settings `mono` -> `dotnet` and remove unused AOT settings
This commit is contained in:
Rémi Verschelde 2023-02-08 09:32:41 +01:00
commit b53c4dda62
No known key found for this signature in database
GPG Key ID: C3336907360768E1
1 changed files with 2 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
modules/mono/editor/GodotTools/GodotTools/Export/ExportPlugin.cs
View File

@ -24,19 +24,7 @@ namespace GodotTools.Export
public void RegisterExportSettings() public void RegisterExportSettings()
{ {
// TODO: These would be better as export preset options, but that doesn't seem to be supported yet // TODO: These would be better as export preset options, but that doesn't seem to be supported yet
GlobalDef("dotnet/export/include_scripts_content", false);
GlobalDef("mono/export/include_scripts_content", false);
GlobalDef("mono/export/aot/enabled", false);
GlobalDef("mono/export/aot/full_aot", false);
GlobalDef("mono/export/aot/use_interpreter", true);
// --aot or --aot=opt1,opt2 (use 'mono --aot=help AuxAssembly.dll' to list AOT options)
GlobalDef("mono/export/aot/extra_aot_options", Array.Empty<string>());
// --optimize/-O=opt1,opt2 (use 'mono --list-opt'' to list optimize options)
GlobalDef("mono/export/aot/extra_optimizer_options", Array.Empty<string>());
GlobalDef("mono/export/aot/android_toolchain_path", "");
} }
private string _maybeLastExportError; private string _maybeLastExportError;
@ -56,7 +44,7 @@ namespace GodotTools.Export
// TODO What if the source file is not part of the game's C# project // TODO What if the source file is not part of the game's C# project
bool includeScriptsContent = (bool)ProjectSettings.GetSetting("mono/export/include_scripts_content"); bool includeScriptsContent = (bool)ProjectSettings.GetSetting("dotnet/export/include_scripts_content");
if (!includeScriptsContent) if (!includeScriptsContent)
{ {