diff options
| author |  tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
| commit | 5b3285b1261b27a5a6bdeac05ab836c0947280da (patch) | |
| tree | 9fd432fa60bf1241edc0b632fd01b41da44819f2 /Util | |
| parent | 4c44ccc7150fccce7e3857ed9013b56a9785010b (diff) | |
Boogie: Adding an autobuild and regression cmd file for Boogie and Dafny - Cleans and builds both projects, then executes the regressions if the build succeeded. If the build had failed, it will stop the script.
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/BoogieDafnyBuildandTest.cmd | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Util/BoogieDafnyBuildandTest.cmd b/Util/BoogieDafnyBuildandTest.cmd new file mode 100644 index 00000000..97bf32ce --- /dev/null +++ b/Util/BoogieDafnyBuildandTest.cmd @@ -0,0 +1,35 @@ +@echo off
+pushd ..\test
+goto Cleanandbuild
+
+:Cleanandbuild
+cls
+@echo on
+devenv ..\Source\Boogie.sln /Clean
+@echo off
+if errorlevel 1 goto fail
+@echo on
+devenv ..\source\Boogie.sln /Build
+@echo off
+if errorlevel 1 goto fail
+@echo on
+devenv ..\Source\Dafny.sln /Clean
+@echo off
+if errorlevel 1 goto fail
+@echo on
+devenv ..\Source\Dafny.sln /Build
+@echo off
+if errorlevel 1 goto fail
+goto reg
+
+:Reg
+cls
+call runtestall
+goto end
+
+:fail
+echo Some part of the rebuild failed.
+goto end
+
+:end
+popd
\ No newline at end of file |