mirror of
https://github.com/ONLYOFFICE/build_tools.git
synced 2026-02-10 20:45:38 +08:00
37 lines
1.0 KiB
Python
37 lines
1.0 KiB
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 build_docker_server():
|
|
dependence.check__docker_dependencies()
|
|
build_develop_server()
|
|
|
|
def build_docker_sdk_web_apps(dir):
|
|
dependence.check__docker_dependencies()
|
|
build_js.build_js_develop(dir)
|
|
|
|
def build_develop_server():
|
|
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)
|
|
|
|
def make():
|
|
if ("1" != config.option("develop")):
|
|
return
|
|
if not dependence.check_dependencies():
|
|
exit(1)
|
|
build_develop_server()
|
|
exit(0)
|
|
|