mirror of
https://github.com/godotengine/godot.git
synced 2024-12-21 10:25:24 +08:00
35 lines
736 B
Python
35 lines
736 B
Python
def can_build(env, platform):
|
|
if env["arch"].startswith("rv"):
|
|
return False
|
|
|
|
if env.editor_build:
|
|
env.module_add_dependencies("mono", ["regex"])
|
|
|
|
return True
|
|
|
|
|
|
def configure(env):
|
|
# Check if the platform has marked mono as supported.
|
|
supported = env.get("supported", [])
|
|
|
|
if "mono" not in supported:
|
|
raise RuntimeError("This module does not currently support building for this platform")
|
|
|
|
env.add_module_version_string("mono")
|
|
|
|
|
|
def get_doc_classes():
|
|
return [
|
|
"CSharpScript",
|
|
"GodotSharp",
|
|
]
|
|
|
|
|
|
def get_doc_path():
|
|
return "doc_classes"
|
|
|
|
|
|
def is_enabled():
|
|
# The module is disabled by default. Use module_mono_enabled=yes to enable it.
|
|
return False
|