From 71d821b322b391630be2cc8b610111d9f35cbd75 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Mon, 17 May 2010 04:56:21 +0000
Subject: Script that gathers the files for the binary distribution Boogie.zip.

---
 Binaries/PrepareBoogieZip.bat | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 Binaries/PrepareBoogieZip.bat

(limited to 'Binaries/PrepareBoogieZip.bat')

diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat
new file mode 100644
index 00000000..4c73ab2a
--- /dev/null
+++ b/Binaries/PrepareBoogieZip.bat
@@ -0,0 +1,40 @@
+@echo off
+setlocal
+
+set DEST_DIR=export
+
+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
+  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
+  DafnyPrelude.bpl
+  DafnyRuntime.cs
+  TypedUnivBackPred2.sx
+  UnivBackPred2.smt
+  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
+) do (
+  copy %%f %DEST_DIR%
+)
+
+echo Done.  Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip
-- 
cgit v1.2.3