blob: a00008c7065a5f74698784aa4d0b00d692b09804 (
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
48
49
50
|
@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
ModelViewer.dll ModelViewer.pdb
ParserHelper.dll ParserHelper.pdb
Provers.SMTLib.dll Provers.SMTLib.pdb
VCExpr.dll VCExpr.pdb
VCGeneration.dll VCGeneration.pdb
Z3.exe
Z3-LICENSE.txt
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\README.md
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
|
