diff options
| author | Maxime Dénès | 2017-10-03 11:32:00 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-03 11:32:00 +0200 |
| commit | e33cd69ab6fcb38478a6c0e00628a5de16181906 (patch) | |
| tree | a5783d1d8a77483585dcd1bb1eaad9fa155f10e2 /dev/ci | |
| parent | 36c950f8a6f70b9b70aecc3e4a620b969ca6a0e0 (diff) | |
| parent | 6729388e9f51d7efb86ac64d10cc3eb4fffe44a0 (diff) | |
Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/appveyor.bat | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/dev/ci/appveyor.bat b/dev/ci/appveyor.bat index ca6a5643c1..e2fbf1f6d1 100644 --- a/dev/ci/appveyor.bat +++ b/dev/ci/appveyor.bat @@ -23,13 +23,19 @@ if %USEOPAM% == false ( call %APPVEYOR_BUILD_FOLDER%\dev\build\windows\MakeCoq_MinGW.bat -threads=1 ^ -arch=%ARCH% -installer=Y -coqver=%APPVEYOR_BUILD_FOLDER_CFMT% ^ -destcyg=%CYGROOT% -destcoq=%DESTCOQ% -cygcache=%CYGCACHE% ^ - -setup %CYGROOT%\%SETUP% - copy "%CYGROOT%\build\coq-local\dev\nsis\*.exe" dev\nsis - 7z a coq-opensource-archive-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* + -setup %CYGROOT%\%SETUP% || GOTO ErrorExit + copy "%CYGROOT%\build\coq-local\dev\nsis\*.exe" dev\nsis || GOTO ErrorExit + 7z a coq-opensource-archive-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* || GOTO ErrorExit ) if %USEOPAM% == true ( %CYGROOT%\%SETUP% -qnNdO -R %CYGROOT% -l %CYGCACHE% -s %CYGMIRROR% ^ -P rsync -P patch -P diffutils -P make -P unzip -P m4 -P findutils -P time - %CYGROOT%/bin/bash -l %APPVEYOR_BUILD_FOLDER%/dev/ci/appveyor.sh + %CYGROOT%/bin/bash -l %APPVEYOR_BUILD_FOLDER%/dev/ci/appveyor.sh || GOTO ErrorExit ) + +GOTO :EOF + +:ErrorExit + ECHO ERROR MakeCoq_MinGW.bat failed + EXIT /b 1 |