mirror of
https://github.com/godotengine/godot.git
synced 2024-12-15 10:12:40 +08:00
d20b32186f
Also rename export name from "HTML5" to "Web".
12 lines
287 B
Python
12 lines
287 B
Python
#!/usr/bin/env python
|
|
|
|
Import("env")
|
|
Import("env_modules")
|
|
|
|
if env["platform"] == "web":
|
|
env.AddJSLibraries(["native/library_godot_webxr.js"])
|
|
env.AddJSExterns(["native/webxr.externs.js"])
|
|
|
|
env_webxr = env_modules.Clone()
|
|
env_webxr.add_source_files(env.modules_sources, "*.cpp")
|