blob: 9edeec4a0e9efe456e9d3fc3ba231b120f326cee (
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
35
36
37
38
39
|
@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
AIFramework.dll AIFramework.pdb
Basetypes.dll Basetypes.pdb
Boogie.exe Boogie.pdb
BVD.exe BVD.pdb
CodeContractsExtender.dll CodeContractsExtender.pdb
Core.dll Core.pdb
Dafny.exe Dafny.pdb
DafnyPipeline.dll DafnyPipeline.pdb
Graph.dll Graph.pdb
Houdini.dll Houdini.pdb
Model.dll Model.pdb
ParserHelper.dll ParserHelper.pdb
Provers.Isabelle.dll Provers.Isabelle.pdb
Provers.Simplify.dll Provers.Simplify.pdb
Provers.SMTLib.dll Provers.SMTLib.pdb
Provers.TPTP.dll Provers.TPTP.pdb
Provers.Z3.dll Provers.Z3.pdb
VCExpr.dll VCExpr.pdb
VCGeneration.dll VCGeneration.pdb
DafnyPrelude.bpl
DafnyRuntime.cs
TypedUnivBackPred2.sx
UnivBackPred2.smt2
UnivBackPred2.sx
) do (
copy %%f %DEST_DIR%
)
echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip
|
