diff options
author | rustanleino <unknown> | 2010-05-17 04:56:21 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-05-17 04:56:21 +0000 |
commit | 71d821b322b391630be2cc8b610111d9f35cbd75 (patch) | |
tree | d158ab9b85ddeed4ecfea7c5f0347c527d1cbf53 /Binaries | |
parent | 66d171a4e4e27dc958c7926cbf76756c7c6c7b11 (diff) |
Script that gathers the files for the binary distribution Boogie.zip.
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/Makefile | 3 | ||||
-rw-r--r-- | Binaries/PrepareBoogieZip.bat | 40 |
2 files changed, 43 insertions, 0 deletions
diff --git a/Binaries/Makefile b/Binaries/Makefile index d1f260b9..3a2a7e20 100644 --- a/Binaries/Makefile +++ b/Binaries/Makefile @@ -33,3 +33,6 @@ all: copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.VisualStudio.Package.pdb"
copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ssc.exe"
copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ssc.pdb"
+
+zip:
+ .\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 |