From 1e6ca606af4e9c952367e862c2b4dcb68ba4643d Mon Sep 17 00:00:00 2001 From: Unknown Date: Tue, 30 Oct 2012 17:29:39 -0700 Subject: Include BVD in build (to copy it into the Dafny\Binaries directory) Batch file for producing a binary distributions --- Binaries/PrepareDafnyZip.bat | 45 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 Binaries/PrepareDafnyZip.bat (limited to 'Binaries') diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat new file mode 100644 index 00000000..2b8312cb --- /dev/null +++ b/Binaries/PrepareDafnyZip.bat @@ -0,0 +1,45 @@ +@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 + BVD.exe BVD.pdb + CodeContractsExtender.dll CodeContractsExtender.pdb + Core.dll Core.pdb + Dafny.exe Dafny.pdb + DafnyPrelude.bpl DafnyRuntime.cs + DafnyPipeline.dll DafnyPipeline.pdb + Graph.dll Graph.pdb + Model.dll Model.pdb + ParserHelper.dll ParserHelper.pdb + Provers.SMTLib.dll Provers.SMTLib.pdb + UnivBackPred2.smt2 + VCExpr.dll VCExpr.pdb + VCGeneration.dll VCGeneration.pdb + ..\Source\DafnyExtension\bin\Debug\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 -- cgit v1.2.3