From c819fabbb8da669952cb7e2e5937c73ff6dcfabe Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Tue, 5 Mar 2013 16:58:16 -0800 Subject: Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories. --- Binaries/PrepareBoogieZip.bat | 7 ------- 1 file changed, 7 deletions(-) (limited to 'Binaries') diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index ff0dace1..5a1b267f 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -2,8 +2,6 @@ setlocal set DEST_DIR=export -set DAFNY_ROOT=..\..\dafny -set DAFNY_BIN=%DAFNY_ROOT%\Binaries if exist %DEST_DIR% del /q %DEST_DIR%\* if not exist %DEST_DIR% mkdir %DEST_DIR% @@ -25,15 +23,10 @@ for %%f in ( UnivBackPred2.smt UnivBackPred2.smt2 VCExpr.dll VCExpr.pdb VCGeneration.dll VCGeneration.pdb - "%DAFNY_BIN%\Dafny.exe" "%DAFNY_BIN%\Dafny.pdb" - "%DAFNY_BIN%\DafnyPrelude.bpl" "%DAFNY_BIN%\DafnyRuntime.cs" - "%DAFNY_BIN%\DafnyPipeline.dll" "%DAFNY_BIN%\DafnyPipeline.pdb" - "%DAFNY_ROOT%\Source\DafnyExtension\bin\Debug\DafnyLanguageService.vsix" ) do ( copy %%f %DEST_DIR% ) xcopy /E /I /Y CodeContracts "%DEST_DIR%/CodeContracts" -xcopy /E /I /Y "%DAFNY_BIN%\CodeContracts" "%DEST_DIR%/CodeContracts" echo Done. Now, manually put the contents of the %DEST_DIR% directory into Boogie.zip -- cgit v1.2.3