mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Move binding files into another directory.
So that we can copy them when not using bindgen altogether.
This commit is contained in:
parent
35dc68c234
commit
a60e5f0218
6 changed files with 31 additions and 42 deletions
|
@ -8,7 +8,7 @@ import os
|
|||
import re
|
||||
|
||||
ROOT_PATH = os.path.join("..", "..", "..")
|
||||
INPUT_FILE = os.path.join(ROOT_PATH, "components", "style", "gecko_bindings", "bindings.rs")
|
||||
INPUT_FILE = os.path.join(ROOT_PATH, "components", "style", "gecko", "generated", "bindings.rs")
|
||||
OUTPUT_FILE = os.path.join(os.environ["OUT_DIR"], "check_bindings.rs")
|
||||
GLUE_FILE = os.path.join(ROOT_PATH, "ports", "geckolib", "glue.rs")
|
||||
GLUE_OUTPUT_FILE = os.path.join(os.environ["OUT_DIR"], "glue.rs")
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue