summaryrefslogtreecommitdiff
path: root/Binaries/PrepareDafnyZip.bat
blob: e2521112b8cf3ac5f7d24486a158b23e00b0c829 (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
41
42
43
44
45
46
47
@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
  CodeContractsExtender.dll           CodeContractsExtender.pdb
  Concurrency.dll                     Concurrency.pdb
  Core.dll                            Core.pdb
  Dafny.exe                           Dafny.pdb
  DafnyPipeline.dll                   DafnyPipeline.pdb
  DafnyPrelude.bpl                    DafnyRuntime.cs
  Doomed.dll                          Doomed.pdb
  ExecutionEngine.dll                 ExecutionEngine.pdb
  Graph.dll                           Graph.pdb
  Houdini.dll                         Houdini.pdb
  Model.dll                           Model.pdb
  ParserHelper.dll                    ParserHelper.pdb
  Provers.SMTLib.dll                  Provers.SMTLib.pdb
  VCExpr.dll                          VCExpr.pdb
  VCGeneration.dll                    VCGeneration.pdb
  DafnyLanguageService.vsix
) do (
  copy %%f %DEST_DIR%
)

xcopy /E /I /Y CodeContracts "%DEST_DIR%\CodeContracts"

for %%d in (
  Util Util\emacs Util\vim Util\latex
) do (
  if not exist %DEST_DIR%\%%d mkdir %DEST_DIR%\%%d
)
for %%f in (
  Util\emacs\dafny-mode.el
  Util\vim\dafny.vim
  Util\latex\dafny.sty
) do (
  copy ..\%%f %DEST_DIR%\%%f
)

echo Done.  Now, manually put the contents of the %DEST_DIR% directory into Dafny.zip