summaryrefslogtreecommitdiff
path: root/Binaries/PrepareBoogieZip.bat
blob: 3c512aaae60de1ddffb8885ede21e3d07a2ff1aa (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
@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
  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