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",
|
|
|
|
|
"ipc-channel",
|
|
|
|
|
"num-bigint",
|
|
|
|
|
"parking_lot_core",
|
|
|
|
|
"phf_generator",
|
|
|
|
|
"rayon",
|
|
|
|
|
"servo_rand",
|
|
|
|
|
"tempdir",
|
|
|
|
|
"tempfile",
|
|
|
|
|
"uuid",
|
|
|
|
|
"websocket",
|
|
|
|
|
"ws",
|
|
|
|
|
]
|
2017-01-17 01:51:33 +03:00
|
|
|
num = []
|
2017-01-14 19:31:30 +03:00
|
|
|
|
2016-08-21 06:27:06 +03:00
|
|
|
[ignore]
|
|
|
|
|
# Ignored packages with duplicated versions
|
2017-02-21 16:15:15 +03:00
|
|
|
packages = ["byteorder", "serde_codegen_internals", "syn"]
|
2016-08-21 06:27:06 +03:00
|
|
|
# Files that are ignored for all tidy and lint checks.
|
|
|
|
|
files = [
|
|
|
|
|
# Generated and upstream code combined with our own. Could use cleanup
|
2016-09-26 10:36:05 +03:00
|
|
|
"./components/style/gecko_bindings/bindings.rs",
|
|
|
|
|
"./components/style/gecko_bindings/structs_debug.rs",
|
|
|
|
|
"./components/style/gecko_bindings/structs_release.rs",
|
|
|
|
|
"./components/style/gecko_string_cache/atom_macro.rs",
|
2016-08-21 06:27:06 +03:00
|
|
|
"./resources/hsts_preload.json",
|
|
|
|
|
"./tests/wpt/metadata/MANIFEST.json",
|
|
|
|
|
"./tests/wpt/metadata-css/MANIFEST.json",
|
|
|
|
|
"./components/script/dom/webidls/ForceTouchEvent.webidl",
|
|
|
|
|
"./support/android/openssl.sh",
|
|
|
|
|
# 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",
|
2017-02-09 03:06:06 +03:00
|
|
|
# Tidy complains about taking &String instead of &str, but they aren't
|
|
|
|
|
# equivalent given the way the traits are set up.
|
|
|
|
|
"./components/selectors/tree.rs",
|
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/css-tests",
|
|
|
|
|
"./tests/wpt/harness",
|
|
|
|
|
"./tests/wpt/update",
|
|
|
|
|
"./tests/wpt/web-platform-tests",
|
|
|
|
|
"./tests/wpt/mozilla/tests/mozilla/referrer-policy",
|
|
|
|
|
"./tests/wpt/sync",
|
|
|
|
|
"./tests/wpt/sync_css",
|
|
|
|
|
"./python/tidy/servo_tidy_tests",
|
|
|
|
|
"./components/script/dom/bindings/codegen/parser",
|
|
|
|
|
"./components/script/dom/bindings/codegen/ply",
|
|
|
|
|
"./python/_virtualenv",
|
|
|
|
|
# Generated and upstream code combined with our own. Could use cleanup
|
|
|
|
|
"./target",
|
|
|
|
|
"./ports/cef",
|
2016-10-12 16:28:27 +03:00
|
|
|
"./components/style/gecko_bindings/nsstring_vendor/",
|
2016-08-21 06:27:06 +03:00
|
|
|
]
|
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"]
|
