Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011$ScriptDir = Split-Path -Parent -Path $MyInvocation.MyCommand.Definition
Push-Location -Path (Join-Path -Path $ScriptDir -ChildPath "vargo")cargo build --releasePop-Location
$env:PATH = "$ScriptDir\vargo\target\release;$env:PATH"
Write-Host "WARNING: Vargo is being deprecated. Use Cargo instead. Refer to `BUILD.md`."Write-Host " See also: https://github.com/verus-lang/verus/pull/2686"