37 lines
943 B
Bash
37 lines
943 B
Bash
set -euxo pipefail
|
|
|
|
main() {
|
|
if [ $TARGET = cargo-fmt ]; then
|
|
cargo fmt -- --check
|
|
return
|
|
fi
|
|
|
|
# quick check
|
|
cargo check
|
|
|
|
# check that we can source import libm into compiler-builtins
|
|
cargo check --package cb
|
|
|
|
# generate tests
|
|
cargo run -p input-generator --target x86_64-unknown-linux-musl
|
|
cargo run -p musl-generator --target x86_64-unknown-linux-musl
|
|
cargo run -p newlib-generator
|
|
|
|
# test that the functions don't contain invocations of `panic!`
|
|
case $TARGET in
|
|
armv7-unknown-linux-gnueabihf)
|
|
cross build --release --target $TARGET --example no-panic
|
|
;;
|
|
esac
|
|
|
|
# run unit tests
|
|
cross test --lib --features checked --target $TARGET --release
|
|
|
|
# run generated tests
|
|
cross test --tests --features checked --target $TARGET --release
|
|
|
|
# TODO need to fix overflow issues (cf. issue #4)
|
|
# cross test --target $TARGET
|
|
}
|
|
|
|
main
|