1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
REM Build the platform
SET CYGROOT=C:\ci\cygwin%ARCH%
SET CYGCACHE=C:\ci\cache\cgwin
REM Try CYGWIN_QUIET, but still this stage is super verbose
SET CYGWIN_QUIET=y
SET COQREGTESTING=y
REM XXX: make this a variable with the branch name
cd platform-*
call coq_platform_make_windows.bat ^
-arch=%ARCH% ^
-pick=dev ^
-destcyg=%CYGROOT% ^
-cygcache=%CYGCACHE% ^
-extent=i ^
-parallel=p ^
-jobs=2 ^
-switch=d ^
-set-switch=y ^
-override-dev-pkg="coq=%GITHUB_SERVER_URL%/%GITHUB_REPOSITORY%/archive/%GITHUB_SHA%.tar.gz" ^
-override-dev-pkg="coqide=%GITHUB_SERVER_URL%/%GITHUB_REPOSITORY%/archive/%GITHUB_SHA%.tar.gz" ^
|| GOTO ErrorExit
GOTO :EOF
:ErrorExit
ECHO ERROR %0 failed
EXIT /b 1
|
