Files
build_tools/scripts/develop/develop.py
2021-07-22 19:19:16 +03:00

26 lines
793 B
Python

import sys
sys.path.append('scripts')
sys.path.append('scripts/develop')
import base
import build_js
import build_server
import config
import dependence
import config_server as develop_config_server
base_dir = base.get_script_dir(__file__)
def make():
if ("1" != config.option("develop")):
return
if not dependence.check_dependencies():
exit(1)
build_server.build_server_develop()
build_js.build_js_develop(base_dir + "/../../..")
develop_config_server.make()
if ("" != config.option("branding")):
branding_develop_script_dir = base_dir + "/../../../" + config.option("branding") + "/build_tools/scripts"
if base.is_file(branding_develop_script_dir + "/develop.py"):
base.cmd_in_dir(branding_develop_script_dir, "python", ["develop.py"], True)
exit(0)