Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445#! /bin/bash
set -e
echo -e "\033[31mwarning (rust-verify.sh): rust-verify.sh is deprecated and will be removed soon, use ./target-verus/release/verus or ./target-verus/debug/verus directly instead\033[0m"echo
DIR="$( cd "$( dirname $(readlink -f "${BASH_SOURCE[0]}") )" >/dev/null 2>&1 && pwd )"SOURCE="$DIR/.."
if [ "$(uname)" == "Darwin" ]; then DYN_LIB_EXT=dylibelif [ "$(uname)" == "Linux" ]; then DYN_LIB_EXT=sofi
# default to release, if it is compiledif [ -e "$SOURCE"/target-verus/release/verus ]; then if [ -e "$SOURCE"/target-verus/release/.vstd-fingerprint ] && \ [ -e "$SOURCE"/target-verus/release/libbuiltin.rlib ] && \ [ -e "$SOURCE"/target-verus/release/libbuiltin_macros.$DYN_LIB_EXT ] && \ [ -e "$SOURCE"/target-verus/release/libstate_machines_macros.$DYN_LIB_EXT ] && \ [ -e "$SOURCE"/target-verus/release/libvstd.rlib ] && \ [ -e "$SOURCE"/target-verus/release/vstd.vir ] && \ [ -e "$SOURCE"/target-verus/release/verus-root ] && \ [ -e "$SOURCE"/target-verus/release/rust_verify ]; then : else echo -e "\033[31mwarning (rust-verify.sh): detected a release build, but it appears to be incomplete\033[0m" fi PROFILE=releaseelse PROFILE=debugfi
if [ "$1" = "--release" ]; then shift PROFILE=releaseelif [ "$1" = "--debug" ]; then shift PROFILE=debugfi
VERUS_Z3_PATH="$SOURCE/z3" "$SOURCE"/target-verus/$PROFILE/verus "$@"