diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
commit | ee7d9d6f87db6160f8fdf3af5905c90f3a3cb823 (patch) | |
tree | 7017cb83c5387b807c89765775f4220b6de8df16 /Binaries/PrepareBoogieZip.bat | |
parent | caa2c1d6c2aa2976d5ef055e412374832981e566 (diff) | |
parent | b9129517113e536506602a438612b1c647067098 (diff) |
Merge
Diffstat (limited to 'Binaries/PrepareBoogieZip.bat')
-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 |