From bd6ea9a2ea5e864434a3b28ef309390c4e860765 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 6 Dec 2010 09:15:47 +0000
Subject: Boogie: Updated 'PrepareBoogieZip.bat'.

---
 Binaries/PrepareBoogieZip.bat | 37 +++++++++++++++++--------------------
 1 file 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%
 )
-- 
cgit v1.2.3