chalice.bat « Chalice - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Chalice/chalice.bat

blob: 62fdb308568aa9ca5cde12c3cf95b6f91be15abc (plain)

@echo off

call scala -cp "%~dp0\target\scala-2.8.1.final\classes" chalice.Chalice /boogieOpt:nologo %*

exit /B 0