From da91e455665b6874af1af29aed37599247f5ece5 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Mon, 22 Oct 2012 12:53:26 -0700 Subject: Updated PrepareBoogieZip.bat file for the binary release that just went out on Codeplex --- Binaries/PrepareBoogieZip.bat | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) (limited to 'Binaries') diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 1f64a31c..ff0dace1 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -2,6 +2,8 @@ setlocal set DEST_DIR=export +set DAFNY_ROOT=..\..\dafny +set DAFNY_BIN=%DAFNY_ROOT%\Binaries if exist %DEST_DIR% del /q %DEST_DIR%\* if not exist %DEST_DIR% mkdir %DEST_DIR% @@ -10,25 +12,28 @@ for %%f in ( AbsInt.dll AbsInt.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 - DafnyPrelude.bpl DafnyRuntime.cs - DafnyPipeline.dll DafnyPipeline.pdb + Doomed.dll Doomed.pdb Graph.dll Graph.pdb - Houdini.dll + Houdini.dll Houdini.pdb Model.dll Model.pdb ParserHelper.dll ParserHelper.pdb + Predication.dll Predication.pdb Provers.SMTLib.dll Provers.SMTLib.pdb - TypedUnivBackPred2.sx UnivBackPred2.smt UnivBackPred2.smt2 - UnivBackPred2.sx VCExpr.dll VCExpr.pdb VCGeneration.dll VCGeneration.pdb + "%DAFNY_BIN%\Dafny.exe" "%DAFNY_BIN%\Dafny.pdb" + "%DAFNY_BIN%\DafnyPrelude.bpl" "%DAFNY_BIN%\DafnyRuntime.cs" + "%DAFNY_BIN%\DafnyPipeline.dll" "%DAFNY_BIN%\DafnyPipeline.pdb" + "%DAFNY_ROOT%\Source\DafnyExtension\bin\Debug\DafnyLanguageService.vsix" ) do ( copy %%f %DEST_DIR% ) xcopy /E /I /Y CodeContracts "%DEST_DIR%/CodeContracts" +xcopy /E /I /Y "%DAFNY_BIN%\CodeContracts" "%DEST_DIR%/CodeContracts" echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip -- cgit v1.2.3