Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011121314151617181920212223#!/usr/bin/env fish
functions --erase cargo
# Get the script's directoryset SCRIPT_DIR (realpath (dirname (status -f)))
echo "building vargo"pushd $SCRIPT_DIR/vargocargo build --releasepopd
set -x PATH $SCRIPT_DIR/vargo/target/release $PATH
echo "WARNING: Vargo is being deprecated. Use Cargo instead. Refer to `BUILD.md`."echo " See also: https://github.com/verus-lang/verus/pull/2686"
function cargo echo "when working on Verus do not use cargo directly, use vargo instead" 1>&2 echo "if you need to, you can still access cargo directly by starting a new shell without running the activate command" 1>&2 return 1end