summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2010-12-06 09:15:47 +0000
committerGravatar wuestholz <unknown>2010-12-06 09:15:47 +0000
commitbd6ea9a2ea5e864434a3b28ef309390c4e860765 (patch)
tree7a1800a4e88447b5c4c1f628fdaacd6bdcbf0f31 /Binaries
parent7815fe3715e83d9a73f171bbb2839c49d0f0bd3a (diff)
Boogie: Updated 'PrepareBoogieZip.bat'.
Diffstat (limited to 'Binaries')
-rw-r--r--Binaries/PrepareBoogieZip.bat37
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%
)