2016-08-21 06:27:06 +03:00
|
|
|
[configs]
|
|
|
|
skip-check-length = false
|
|
|
|
skip-check-licenses = false
|
2016-11-07 16:41:34 +03:00
|
|
|
check-ordered-json-keys = [
|
|
|
|
"./resources/prefs.json",
|
|
|
|
]
|
2016-11-12 20:06:27 +03:00
|
|
|
lint-scripts = [
|
|
|
|
"./python/servo/lints/wpt_lint.py",
|
|
|
|
]
|
2016-08-21 06:27:06 +03:00
|
|
|
|
2017-01-14 19:31:30 +03:00
|
|
|
# Packages which we avoid using in Servo.
|
|
|
|
# For each blocked package, we can list the exceptions,
|
|
|
|
# which are packages allowed to use the blocked package.
|
|
|
|
[blocked-packages]
|
|
|
|
rand = [
|
|
|
|
"deque",
|
|
|
|
"gaol",
|
2017-09-02 00:09:53 +03:00
|
|
|
"hashglobe", # only uses in tests
|
2017-01-14 19:31:30 +03:00
|
|
|
"ipc-channel",
|
|
|
|
"num-bigint",
|
|
|
|
"parking_lot_core",
|
|
|
|
"phf_generator",
|
|
|
|
"rayon",
|
2017-05-09 05:36:48 +03:00
|
|
|
"rayon-core",
|
2017-01-14 19:31:30 +03:00
|
|
|
"servo_rand",
|
2017-03-02 18:41:20 +03:00
|
|
|
"servo-websocket",
|
2017-01-14 19:31:30 +03:00
|
|
|
"tempdir",
|
|
|
|
"tempfile",
|
|
|
|
"uuid",
|
|
|
|
"ws",
|
|
|
|
]
|
2017-12-17 12:50:33 +03:00
|
|
|
num = [
|
|
|
|
"chrono",
|
|
|
|
]
|
2017-01-14 19:31:30 +03:00
|
|
|
|
2016-08-21 06:27:06 +03:00
|
|
|
[ignore]
|
|
|
|
# Ignored packages with duplicated versions
|
2017-05-08 20:19:59 +03:00
|
|
|
packages = [
|
|
|
|
"bitflags",
|
2017-12-05 19:31:16 +03:00
|
|
|
"lazy_static",
|
2017-11-14 20:51:34 +03:00
|
|
|
"mime",
|
|
|
|
"semver",
|
|
|
|
"toml",
|
|
|
|
"unicase",
|
2017-05-08 20:19:59 +03:00
|
|
|
]
|
2016-08-21 06:27:06 +03:00
|
|
|
# Files that are ignored for all tidy and lint checks.
|
|
|
|
files = [
|
2017-10-03 19:25:28 +03:00
|
|
|
# Mako does not lend itself easily to splitting long lines
|
|
|
|
"./components/style/properties/helpers/animated_properties.mako.rs",
|
2017-03-29 16:48:12 +03:00
|
|
|
# Helper macro where actually a pseudo-element per line makes sense.
|
|
|
|
"./components/style/gecko/non_ts_pseudo_class_list.rs",
|
2016-08-21 06:27:06 +03:00
|
|
|
# Generated and upstream code combined with our own. Could use cleanup
|
2017-05-08 15:35:19 +03:00
|
|
|
"./components/style/gecko/generated/bindings.rs",
|
2017-08-24 01:18:31 +03:00
|
|
|
"./components/style/gecko/generated/pseudo_element_definition.rs",
|
2017-10-05 19:24:22 +03:00
|
|
|
"./components/style/gecko/generated/structs.rs",
|
2017-05-08 15:35:19 +03:00
|
|
|
"./components/style/gecko/generated/atom_macro.rs",
|
2016-08-21 06:27:06 +03:00
|
|
|
"./resources/hsts_preload.json",
|
|
|
|
"./tests/wpt/metadata/MANIFEST.json",
|
|
|
|
"./components/script/dom/webidls/ForceTouchEvent.webidl",
|
|
|
|
"./support/android/openssl.sh",
|
2017-11-02 23:52:42 +03:00
|
|
|
# Upstream code from Khronos/WebGL uses tabs for indentation
|
|
|
|
"./tests/wpt/mozilla/tests/webgl",
|
2016-08-21 06:27:06 +03:00
|
|
|
# Ignore those files since the issues reported are on purpose
|
|
|
|
"./tests/html/bad-line-ends.html",
|
|
|
|
"./tests/unit/net/parsable_mime/text",
|
|
|
|
"./tests/wpt/mozilla/tests/css/fonts",
|
|
|
|
"./tests/wpt/mozilla/tests/css/pre_with_tab.html",
|
2016-12-14 23:13:06 +03:00
|
|
|
"./tests/wpt/mozilla/tests/mozilla/textarea_placeholder.html",
|
2016-08-21 06:27:06 +03:00
|
|
|
]
|
|
|
|
# Directories that are ignored for the non-WPT tidy check.
|
|
|
|
directories = [
|
|
|
|
# Upstream
|
|
|
|
"./support/android/apk",
|
|
|
|
"./tests/wpt/harness",
|
|
|
|
"./tests/wpt/update",
|
|
|
|
"./tests/wpt/web-platform-tests",
|
|
|
|
"./tests/wpt/mozilla/tests/mozilla/referrer-policy",
|
2017-10-31 18:04:45 +03:00
|
|
|
"./tests/wpt/mozilla/tests/webgl",
|
2016-08-21 06:27:06 +03:00
|
|
|
"./tests/wpt/sync",
|
|
|
|
"./python/tidy/servo_tidy_tests",
|
|
|
|
"./components/script/dom/bindings/codegen/parser",
|
|
|
|
"./components/script/dom/bindings/codegen/ply",
|
|
|
|
"./python/_virtualenv",
|
2017-09-02 00:09:53 +03:00
|
|
|
"./components/hashglobe/src",
|
2016-08-21 06:27:06 +03:00
|
|
|
# Generated and upstream code combined with our own. Could use cleanup
|
|
|
|
"./target",
|
|
|
|
"./ports/cef",
|
|
|
|
]
|
2016-10-02 20:00:36 +03:00
|
|
|
|
|
|
|
# Directories that are checked for correct file extension
|
|
|
|
[check_ext]
|
|
|
|
# directory, list of expected file extensions
|
2016-12-26 19:57:04 +03:00
|
|
|
"./components/script/dom/webidls" = [".webidl"]
|