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