$ScriptDir = Split-Path -Parent -Path $MyInvocation.MyCommand.Definition

Push-Location -Path (Join-Path -Path $ScriptDir -ChildPath "vargo")
cargo build --release
Pop-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"