1# Copy this file to .servobuild in the Servo root directory 2 3# Paths starting with "./" are relative to the repo root 4 5# Tool options 6[tools] 7# If use-rustup is set to false, mach will run for example "cargo build" 8# instead of "rustup run --install <toolchain> cargo build" 9# It is then the user’s responsibility to ensure that cargo and especially rustc 10# in $PATH are versions compatible with Servo. 11use-rustup = true 12 13# If rustc-with-gold is true, will try to find and use gold linker with rustc. 14# Defaults to true 15rustc-with-gold = true 16 17# If uncommented, this command is used instead of the platform’s default 18# to notify at the end of a compilation that took a long time. 19# This is the name or path of an executable called with two arguments: 20# the summary and content of the notification. 21#notify-command = "notify-send" 22 23[build] 24# Set "mode = dev" or use `mach build --dev` to build the project with warning. 25# or Set "mode = release" or use `mach build --release` for optimized build. 26# Defaults to prompting before building 27#mode = "dev" 28 29# Set "android = true" or use `mach build --android` to build the Android app. 30android = false 31 32# Set "debug-mozjs" or use `mach build --debug-mozjs` to build a debug spidermonkey. 33debug-mozjs = false 34 35# Set to the path to your ccache binary to enable caching of compiler outputs 36#ccache = "/usr/local/bin/ccache" 37 38# Any optional flags that will be added to $RUSTFLAGS 39#rustflags = "" 40 41# Enable or disable rustc’s incremental compilation 42# Cargo’s default is to enable it in debug mode but not in release mode. 43# Leaving this key unspecified makes mach keep Cargo’s default. 44# It can be set to true or false in order to always enable or always disable 45# incremental compilation. 46#incremental = false 47#incremental = true 48 49# Whether to use ThinLTO or not 50#thinlto = false 51 52# Android information 53[android] 54# Defaults to the value of $ANDROID_SDK, $ANDROID_NDK, $ANDROID_TOOLCHAIN, $ANDROID_PLATFORM respectively 55#sdk = "/opt/android-sdk" 56#ndk = "/opt/android-ndk" 57#toolchain = "/opt/android-toolchain" 58#platform = "android-18" 59