Files
build_tools/scripts/develop/develop.py
Nikita Khromov 6364de594f Fixes
2020-12-10 13:03:07 +03:00

21 lines
486 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")):
if not dependence.check_dependencies():
exit(1)
build_server.build_server_develop()
build_js.build_js_develop(base_dir + "/../../..")
develop_config_server.make()
exit(0)