diff options
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 |