diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
commit | 1e6ca606af4e9c952367e862c2b4dcb68ba4643d (patch) | |
tree | 6fd7800dd4e2e949c2edfe460fb97133be68fd71 /Binaries | |
parent | c3facb25dd5e290993a91a896a3b5606d0f4b795 (diff) |
Include BVD in build (to copy it into the Dafny\Binaries directory)
Batch file for producing a binary distributions
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/PrepareDafnyZip.bat | 45 |
1 files changed, 45 insertions, 0 deletions
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 |