blob: 1f4c64f9a9563e83c8ba22dc01fbad9b61249faf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
@echo off
setlocal
set BOOGIEDIR=..\..\Binaries
set BPLEXE=%BOOGIEDIR%\Boogie.exe
for %%f in (Maps.bpl) do (
echo.
echo -------------------- %%f --------------------
%BPLEXE% %* /typeEncoding:m /useArrayTheory %%f
)
|