2018-07-13 21:54:24 -05:00

24 lines
469 B
Bash

set -euxo pipefail
main() {
# quick check
cargo check
# check that we can source import libm into compiler-builtins
cargo check --package cb
# generate tests
cargo run --package test-generator --target x86_64-unknown-linux-musl
# nicer syntax error messages (if any)
cargo fmt
# run tests
cross test --target $TARGET --release
# TODO need to fix overflow issues (cf. issue #4)
# cross test --target $TARGET
}
main