From 897cf9bba0866edf878a04f0bc408c9ebcb3e61d Mon Sep 17 00:00:00 2001 From: Jeremy Soller Date: Thu, 15 Dec 2016 10:08:06 -0700 Subject: [PATCH] Add prefix to config.toml --- src/bootstrap/config.rs | 2 ++ src/bootstrap/config.toml.example | 3 +++ 2 files changed, 5 insertions(+) diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs index 60f65f62300..beb62ef2074 100644 --- a/src/bootstrap/config.rs +++ b/src/bootstrap/config.rs @@ -126,6 +126,7 @@ struct Build { target: Vec, cargo: Option, rustc: Option, + prefix: Option, compiler_docs: Option, docs: Option, submodules: Option, @@ -238,6 +239,7 @@ impl Config { } config.rustc = build.rustc.map(PathBuf::from); config.cargo = build.cargo.map(PathBuf::from); + config.prefix = build.prefix; config.nodejs = build.nodejs.map(PathBuf::from); config.gdb = build.gdb.map(PathBuf::from); config.python = build.python.map(PathBuf::from); diff --git a/src/bootstrap/config.toml.example b/src/bootstrap/config.toml.example index b6774b3af20..e1f0dac7ddb 100644 --- a/src/bootstrap/config.toml.example +++ b/src/bootstrap/config.toml.example @@ -70,6 +70,9 @@ # specified, use this rustc binary instead as the stage0 snapshot compiler. #rustc = "/path/to/bin/rustc" +# Instead of installing installing to /usr/local, install to this path instead. +#prefix = "/path/to/install" + # Flag to specify whether any documentation is built. If false, rustdoc and # friends will still be compiled but they will not be used to generate any # documentation.