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