Create a top-level "third_party" directory

This directory now contains third_party software that is vendored into
the Servo source tree. The idea is that it would eventually hold
webrender and other crates from mozilla-central as well with a standard
patch management approach for each.
This commit is contained in:
Martin Robinson 2023-06-24 13:38:11 +02:00
parent 7412e28349
commit 8be014ee46
No known key found for this signature in database
GPG key ID: D56AA4FA55EFE6F8
148 changed files with 10 additions and 7 deletions

View file

@ -6,14 +6,18 @@ import os
import sys
import json
SCRIPT_PATH = os.path.abspath(os.path.dirname(__file__))
SERVO_ROOT = os.path.abspath(os.path.join(SCRIPT_PATH, "..", "..", "..", "..", ".."))
def main():
os.chdir(os.path.join(os.path.dirname(__file__)))
sys.path[0:0] = ["./parser", "./ply"]
sys.path.insert(0, os.path.join(SERVO_ROOT, "third_party", "WebIDL"))
sys.path.insert(0, os.path.join(SERVO_ROOT, "third_party", "ply"))
css_properties_json, out_dir = sys.argv[1:]
doc_servo = "../../../../../target/doc/servo"
webidls_dir = "../../webidls"
doc_servo = os.path.join(SERVO_ROOT, "target", "doc", "servo")
webidls_dir = os.path.join(SCRIPT_PATH, "..", "..", "webidls")
config_file = "Bindings.conf"
import WebIDL