blob: 1f64a31c46593f216da020a2bf7727c8cc6c09fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
@echo off
setlocal
set DEST_DIR=export
if exist %DEST_DIR% del /q %DEST_DIR%\*
if not exist %DEST_DIR% mkdir %DEST_DIR%
for %%f in (
AbsInt.dll AbsInt.pdb
Basetypes.dll Basetypes.pdb
Boogie.exe Boogie.pdb
CodeContractsExtender.dll CodeContractsExtender.pdb
Core.dll Core.pdb
Dafny.exe Dafny.pdb
DafnyPrelude.bpl DafnyRuntime.cs
DafnyPipeline.dll DafnyPipeline.pdb
Graph.dll Graph.pdb
Houdini.dll
Model.dll Model.pdb
ParserHelper.dll ParserHelper.pdb
Provers.SMTLib.dll Provers.SMTLib.pdb
TypedUnivBackPred2.sx
UnivBackPred2.smt UnivBackPred2.smt2
UnivBackPred2.sx
VCExpr.dll VCExpr.pdb
VCGeneration.dll VCGeneration.pdb
) do (
copy %%f %DEST_DIR%
)
xcopy /E /I /Y CodeContracts "%DEST_DIR%/CodeContracts"
echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip
|