forked from model-checking/kani
-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.rs
13 lines (11 loc) · 651 Bytes
/
build.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
use std::env::var;
fn main() {
// We want to know what target triple we were built with, but this isn't normally provided to us.
// Note the difference between:
// https://doc.rust-lang.org/cargo/reference/environment-variables.html#environment-variables-cargo-sets-for-crates
// https://doc.rust-lang.org/cargo/reference/environment-variables.html#environment-variables-cargo-sets-for-build-scripts
// So "repeat" the info from build script (here) to our crate's build environment.
println!("cargo:rustc-env=TARGET={}", var("TARGET").unwrap());
}