diff options
author | Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
commit | c819fabbb8da669952cb7e2e5937c73ff6dcfabe (patch) | |
tree | fdfa5ecd7ef81709608d5dcb5ba232611c1b073f /Binaries | |
parent | f82dab21f1240fb3f8d67a880f4f93017d85c345 (diff) |
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/PrepareBoogieZip.bat | 7 |
1 files changed, 0 insertions, 7 deletions
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 |