diff options
| author |  wuestholz <unknown> | 2012-10-01 10:04:32 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-10-01 10:04:32 +0200 |
| commit | 247a9f10e453d7ab84fd77422ccce1a021d4fc54 (patch) | |
| tree | 80a029673f8afa8ced3086a0836764549d7e207d /Binaries | |
| parent | 0bdb90e620bcaa2795aacb4c5118b2cb2fcd61cb (diff) | |
Updated the 'PrepareBoogieZip.bat' script.
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 41 |
1 files changed, 18 insertions, 23 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 9edeec4a..1f64a31c 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -7,33 +7,28 @@ if exist %DEST_DIR% del /q %DEST_DIR%\* if not exist %DEST_DIR% mkdir %DEST_DIR% for %%f in ( - AbsInt.dll AbsInt.pdb - AIFramework.dll AIFramework.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 - DafnyPipeline.dll DafnyPipeline.pdb - Graph.dll Graph.pdb - Houdini.dll Houdini.pdb - Model.dll Model.pdb - ParserHelper.dll ParserHelper.pdb - Provers.Isabelle.dll Provers.Isabelle.pdb - Provers.Simplify.dll Provers.Simplify.pdb - Provers.SMTLib.dll Provers.SMTLib.pdb - Provers.TPTP.dll Provers.TPTP.pdb - Provers.Z3.dll Provers.Z3.pdb - VCExpr.dll VCExpr.pdb - VCGeneration.dll VCGeneration.pdb - DafnyPrelude.bpl - DafnyRuntime.cs + AbsInt.dll AbsInt.pdb + Basetypes.dll Basetypes.pdb + Boogie.exe Boogie.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 + Houdini.dll + Model.dll Model.pdb + ParserHelper.dll ParserHelper.pdb + Provers.SMTLib.dll Provers.SMTLib.pdb TypedUnivBackPred2.sx - UnivBackPred2.smt2 + UnivBackPred2.smt UnivBackPred2.smt2 UnivBackPred2.sx + VCExpr.dll VCExpr.pdb + VCGeneration.dll VCGeneration.pdb ) do ( copy %%f %DEST_DIR% ) +xcopy /E /I /Y CodeContracts "%DEST_DIR%/CodeContracts" + echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip |