2018-07-12 00:44:28 -05:00
|
|
|
set -euxo pipefail
|
|
|
|
|
|
|
|
|
|
main() {
|
2018-07-12 20:19:42 -05:00
|
|
|
# quick check
|
|
|
|
|
cargo check
|
|
|
|
|
|
|
|
|
|
# check that we can source import libm into compiler-builtins
|
|
|
|
|
cargo check --package cb
|
|
|
|
|
|
|
|
|
|
# generate tests
|
2018-07-12 00:44:28 -05:00
|
|
|
cargo run --package test-generator --target x86_64-unknown-linux-musl
|
2018-07-12 20:19:42 -05:00
|
|
|
|
2018-07-12 00:53:44 -05:00
|
|
|
if cargo fmt --version >/dev/null 2>&1; then
|
2018-07-12 00:44:28 -05:00
|
|
|
# nicer syntax error messages (if any)
|
|
|
|
|
cargo fmt
|
|
|
|
|
fi
|
2018-07-12 20:19:42 -05:00
|
|
|
|
|
|
|
|
# run tests
|
2018-07-12 00:44:28 -05:00
|
|
|
cross test --target $TARGET --release
|
2018-07-12 13:34:19 -05:00
|
|
|
|
|
|
|
|
# TODO need to fix overflow issues (cf. issue #4)
|
|
|
|
|
# cross test --target $TARGET
|
2018-07-12 00:44:28 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
main
|