blob: 4c73ab2a1a5f3935f703bca002fdffec3ad37dd4 (
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
40
|
@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
Core.dll Core.pdb
Dafny.exe Dafny.pdb
DafnyPipeline.dll DafnyPipeline.pdb
Graph.dll Graph.pdb
Provers.Isabelle.dll Provers.Isabelle.pdb
Provers.SMTLib.dll Provers.SMTLib.pdb
Provers.Simplify.dll Provers.Simplify.pdb
Provers.Z3.dll Provers.Z3.pdb
VCExpr.dll VCExpr.pdb
VCGeneration.dll VCGeneration.pdb
DafnyPrelude.bpl
DafnyRuntime.cs
TypedUnivBackPred2.sx
UnivBackPred2.smt
UnivBackPred2.sx
FSharp.Core.dll
FSharp.PowerPack.dll
Microsoft.SpecSharp.Runtime.dll
Microsoft.SpecSharp.dll
System.Compiler.Framework.dll
System.Compiler.Runtime.dll
System.Compiler.dll
) do (
copy %%f %DEST_DIR%
)
echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip
|
