diff options
| author |  wuestholz <unknown> | 2010-12-06 09:15:47 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-12-06 09:15:47 +0000 |
| commit | bd6ea9a2ea5e864434a3b28ef309390c4e860765 (patch) | |
| tree | 7a1800a4e88447b5c4c1f628fdaacd6bdcbf0f31 /Binaries | |
| parent | 7815fe3715e83d9a73f171bbb2839c49d0f0bd3a (diff) | |
Boogie: Updated 'PrepareBoogieZip.bat'.
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 37 |
1 files changed, 17 insertions, 20 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 20b0898e..496d1ddf 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -7,21 +7,22 @@ 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 - Core.dll Core.pdb - CodeContractsExtender.dll CodeContractsExtender.pdb - Dafny.exe Dafny.pdb - DafnyPipeline.dll DafnyPipeline.pdb - Graph.dll Graph.pdb - Provers.Isabelle.dll Provers.Isabelle.pdb - Provers.SMTLib.dll Provers.SMTLib.pdb - Provers.Simplify.dll Provers.Simplify.pdb - Provers.Z3.dll Provers.Z3.pdb - VCExpr.dll VCExpr.pdb - VCGeneration.dll VCGeneration.pdb + AbsInt.dll AbsInt.pdb + AIFramework.dll AIFramework.pdb + Basetypes.dll Basetypes.pdb + Boogie.exe Boogie.pdb + CodeContractsExtender.dll CodeContractsExtender.pdb + Core.dll Core.pdb + Dafny.exe Dafny.pdb + DafnyPipeline.dll DafnyPipeline.pdb + Graph.dll Graph.pdb + ParserHelper.dll ParserHelper.pdb + Provers.Isabelle.dll Provers.Isabelle.pdb + Provers.Simplify.dll Provers.Simplify.pdb + Provers.SMTLib.dll Provers.SMTLib.pdb + Provers.Z3.dll Provers.Z3.pdb + VCExpr.dll VCExpr.pdb + VCGeneration.dll VCGeneration.pdb DafnyPrelude.bpl DafnyRuntime.cs TypedUnivBackPred2.sx @@ -29,11 +30,7 @@ for %%f in ( UnivBackPred2.sx FSharp.Core.dll FSharp.PowerPack.dll - Microsoft.SpecSharp.Runtime.dll - Microsoft.SpecSharp.dll - System.Compiler.Framework.dll - System.Compiler.Runtime.dll - System.Compiler.dll + Microsoft.Contracts.dll ) do ( copy %%f %DEST_DIR% ) |