diff options
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 37 |
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% ) |