diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-22 12:53:26 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-22 12:53:26 -0700 |
| commit | da91e455665b6874af1af29aed37599247f5ece5 (patch) | |
| tree | 429a47704e399e04927002207b67fd37775ac7d9 /Binaries | |
| parent | 2306d868964d5814c9310ed8c98cfa23589f32ba (diff) | |
Updated PrepareBoogieZip.bat file for the binary release that just went out on Codeplex
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 17 |
1 files changed, 11 insertions, 6 deletions
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 |