2018-07-24 13:42:23 -04:00
|
|
|
#!/usr/bin/env python
|
|
|
|
# Copyright 2018 the Deno authors. All rights reserved. MIT license.
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
from os.path import join
|
2018-07-26 20:15:55 -04:00
|
|
|
import third_party
|
|
|
|
from util import root_path, run, run_output, build_path
|
2018-07-24 13:42:23 -04:00
|
|
|
|
2018-07-26 20:15:55 -04:00
|
|
|
third_party.fix_symlinks()
|
2018-07-24 13:42:23 -04:00
|
|
|
|
2018-07-26 20:15:55 -04:00
|
|
|
print "DENO_BUILD_PATH:", build_path()
|
|
|
|
if not os.path.isdir(build_path()):
|
|
|
|
print "DENO_BUILD_PATH does not exist. Run tools/setup.py"
|
2018-07-24 13:42:23 -04:00
|
|
|
sys.exit(1)
|
2018-07-26 20:15:55 -04:00
|
|
|
os.chdir(build_path())
|
|
|
|
|
2018-08-17 18:23:14 -04:00
|
|
|
ninja_args = sys.argv[1:]
|
2018-07-24 13:42:23 -04:00
|
|
|
|
2018-07-26 20:15:55 -04:00
|
|
|
run([third_party.ninja_path] + ninja_args,
|
|
|
|
env=third_party.google_env(),
|
|
|
|
quiet=True)
|