diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2019-09-30 11:20:41 +0200 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2019-09-30 11:20:41 +0200 |
commit | d2c299a6c79386fe91f3930914d1d3e7162112a3 (patch) | |
tree | b1d95dc0ad0cb1f88c83fcb3e4fa7e8045a1e0e5 /components/script/dom/bindings/codegen/run.py | |
parent | 5c60023cb8ad6f07927bd53f30c90873d07b300f (diff) | |
download | servo-d2c299a6c79386fe91f3930914d1d3e7162112a3.tar.gz servo-d2c299a6c79386fe91f3930914d1d3e7162112a3.zip |
Don’t rely on `$CARGO_TARGET_DIR` in build scripts
Diffstat (limited to 'components/script/dom/bindings/codegen/run.py')
-rw-r--r-- | components/script/dom/bindings/codegen/run.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/components/script/dom/bindings/codegen/run.py b/components/script/dom/bindings/codegen/run.py index fd43ac32bb7..130d35e5268 100644 --- a/components/script/dom/bindings/codegen/run.py +++ b/components/script/dom/bindings/codegen/run.py @@ -11,7 +11,8 @@ def main(): os.chdir(os.path.join(os.path.dirname(__file__))) sys.path[0:0] = ["./parser", "./ply"] - css_properties_json, out_dir, doc_servo = sys.argv[1:] + css_properties_json, out_dir = sys.argv[1:] + doc_servo = "../../../../../target/doc/servo" webidls_dir = "../../webidls" config_file = "Bindings.conf" @@ -19,7 +20,7 @@ def main(): from Configuration import Configuration from CodegenRust import CGBindingRoot - parser = WebIDL.Parser(make_dir(out_dir, "cache")) + parser = WebIDL.Parser(make_dir(os.path.join(out_dir, "cache"))) webidls = [name for name in os.listdir(webidls_dir) if name.endswith(".webidl")] for webidl in webidls: filename = os.path.join(webidls_dir, webidl) @@ -29,7 +30,7 @@ def main(): add_css_properties_attributes(css_properties_json, parser) parser_results = parser.finish() config = Configuration(config_file, parser_results) - make_dir(out_dir, "Bindings") + make_dir(os.path.join(out_dir, "Bindings")) for name, filename in [ ("PrototypeList", "PrototypeList.rs"), @@ -54,8 +55,7 @@ def main(): f.write(module) -def make_dir(out_dir, nested=""): - path = os.path.join(out_dir, nested) +def make_dir(path): if not os.path.exists(path): os.makedirs(path) return path |