CROSSWIRE / Run-CROSSWIRE.ps1
Kai9987kai's picture
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
450ac2f verified
Raw History Blame Contribute Delete
330 Bytes
param([int]$Port = 8781)
$ErrorActionPreference = 'Stop'
$taskPython = Join-Path $PSScriptRoot '.venv\Scripts\python.exe'
if (-not (Test-Path -LiteralPath $taskPython)) { $taskPython = 'python' }
Push-Location -LiteralPath $PSScriptRoot
try { & $taskPython -m crosswire serve --port $Port --open }
finally { Pop-Location }