diff options
author | tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
commit | b0d5ff07c252d577f3ef6ccdd18af0a75ff4a773 (patch) | |
tree | cab314d4bbd26d17586b54711d8e7a919a2eb46d /Util/BoogieDafnyBuildandTest.cmd | |
parent | bc37d369c0be4b3eb47493d93e2134e46a2c1bf2 (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/BoogieDafnyBuildandTest.cmd')
-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 |