Merge PR #8612: Fix issue 8610 - Change important CI DOS batch files to CRLF

2 files changed, 608 insertions, 608 deletions

diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat
index 61cf6bc4cc..33feeed45c 100755
--- a/dev/build/windows/MakeCoq_MinGW.bat
+++ b/dev/build/windows/MakeCoq_MinGW.bat
@@ -1,488 +1,488 @@
-@ECHO OFF
-
-REM ========== COPYRIGHT/COPYLEFT ==========
-
-REM (C) 2016 Intel Deutschland GmbH
-REM Author: Michael Soegtrop
-
-REM Released to the public by Intel under the
-REM GNU Lesser General Public License Version 2.1 or later
-REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html
-
-REM ========== NOTES ==========
-
-REM For Cygwin setup command line options
-REM see https://cygwin.com/faq/faq.html#faq.setup.cli
-
-REM ========== DEFAULT VALUES FOR PARAMETERS ==========
-
-REM For a description of all parameters, see ReadMe.txt
-
-SET BATCHFILE=%~0
-SET BATCHDIR=%~dp0
-
-REM see -arch in ReadMe.txt, but values are x86_64 or i686 (not 64 or 32)
-SET ARCH=x86_64
-
-REM see -mode in ReadMe.txt
-SET INSTALLMODE=absolute
-
-REM see -installer in ReadMe.txt
-SET MAKEINSTALLER=N
-
-REM see -ocaml in ReadMe.txt
-SET INSTALLOCAML=N
-
-REM see -make in ReadMe.txt
-SET INSTALLMAKE=N
-
-REM see -destcyg in ReadMe.txt
-SET DESTCYG=C:\bin\cygwin_coq
-
-REM see -destcoq in ReadMe.txt
-SET DESTCOQ=C:\bin\coq
-
-REM see -setup in ReadMe.txt
-SET SETUP=setup-x86_64.exe
-
-REM see -proxy in ReadMe.txt
-IF DEFINED HTTP_PROXY (
-  SET PROXY=%HTTP_PROXY:http://=%
-) else (
-  REM One can't set a variable to empty in DOS, but you can set it to a space this way.
-  REM The quotes are just there to make the space visible and to protect from "remove trailing spaces".
-  SET "PROXY= "
-)
-
-REM see -cygrepo in ReadMe.txt
-SET CYGWIN_REPOSITORY=http://ftp.inf.tu-dresden.de/software/windows/cygwin32
-
-REM see -cygcache in ReadMe.txt
-SET CYGWIN_LOCAL_CACHE_WFMT=%BATCHDIR%cygwin_cache
-
-REM see -cyglocal in ReadMe.txt
-SET CYGWIN_FROM_CACHE=N
-
-REM see -cygquiet in ReadMe.txt
-SET CYGWIN_QUIET=Y
-
-REM see -srccache in ReadMe.txt
-SET SOURCE_LOCAL_CACHE_WFMT=%BATCHDIR%source_cache
-
-REM see -coqver in ReadMe.txt
-SET COQ_VERSION=8.5pl3
-
-REM see -gtksrc in ReadMe.txt
-SET GTK_FROM_SOURCES=N
-
-REM see -threads in ReadMe.txt
-SET MAKE_THREADS=8
-
-REM see -addon in ReadMe.txt
-SET "COQ_ADDONS= "
-
-REM ========== PARSE COMMAND LINE PARAMETERS ==========
-
-SHIFT
-
-:Parse
-
-IF "%~0" == "-arch" (
-  IF "%~1" == "32" (
-    SET ARCH=i686
-    SET SETUP=setup-x86.exe
-  ) ELSE (
-    IF "%~1" == "64" (
-      SET ARCH=x86_64
-      SET SETUP=setup-x86_64.exe
-    ) ELSE (
-      ECHO "Invalid -arch, valid are 32 and 64"
-      GOTO :EOF
-    )
-  )
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-mode" (
-  IF "%~1" == "mingwincygwin" (
-    SET INSTALLMODE=%~1
-  ) ELSE (
-    IF "%~1" == "absolute" (
-      SET INSTALLMODE=%~1
-    ) ELSE (
-      IF "%~1" == "relocatable" (
-        SET INSTALLMODE=%~1
-      ) ELSE (
-        ECHO "Invalid -mode, valid are mingwincygwin, absolute and relocatable"
-        GOTO :EOF
-      )
-    )
-  )
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-installer" (
-  SET MAKEINSTALLER=%~1
-  CALL :CheckYN -installer %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-ocaml" (
-  SET INSTALLOCAML=%~1
-  CALL :CheckYN -installer %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-make" (
-  SET INSTALLMAKE=%~1
-  CALL :CheckYN -installer %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-destcyg" (
-  SET DESTCYG=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-destcoq" (
-  SET DESTCOQ=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-setup" (
-  SET SETUP=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-proxy" (
-  SET PROXY=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-cygrepo" (
-  SET CYGWIN_REPOSITORY=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-cygcache" (
-  SET CYGWIN_LOCAL_CACHE_WFMT=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-cyglocal" (
-  SET CYGWIN_FROM_CACHE=%~1
-  CALL :CheckYN -cyglocal %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-cygquiet" (
-  SET CYGWIN_QUIET=%~1
-  CALL :CheckYN -cygquiet %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-srccache" (
-  SET SOURCE_LOCAL_CACHE_WFMT=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-coqver" (
-  SET COQ_VERSION=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-gtksrc" (
-  SET GTK_FROM_SOURCES=%~1
-  CALL :CheckYN -gtksrc %~1 || GOTO ErrorExit
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-threads" (
-  SET MAKE_THREADS=%~1
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-IF "%~0" == "-addon" (
-  SET "COQ_ADDONS=%COQ_ADDONS% %~1"
-  SHIFT
-  SHIFT
-  GOTO Parse
-)
-
-
-IF NOT "%~0" == "" (
-  ECHO Install cygwin and download, compile and install OCaml and Coq for MinGW
-  ECHO !!! Illegal parameter %~0
-  ECHO Usage:
-  ECHO MakeCoq_MinGW
-  CALL :PrintPars
-  GOTO :EOF
-)
-
-IF NOT EXIST %SETUP% (
-  ECHO The cygwin setup program %SETUP% doesn't exist. You must download it from https://cygwin.com/install.html.
-  ECHO If the setup is in a different folder, set the full path to %SETUP% using the -setup option.
-  GOTO :EOF
-)
-
-REM ========== ADJUST PARAMETERS ==========
-
-IF "%INSTALLMODE%" == "mingwincygwin" (
-  SET DESTCOQ=%DESTCYG%\usr\%ARCH%-w64-mingw32\sys-root\mingw
-)
-
-IF "%MAKEINSTALLER%" == "Y" (
-  SET INSTALLMODE=relocatable
-)
-
-REM ========== CONFIRM PARAMETERS ==========
-
-CALL :PrintPars
-REM Note: DOS batch replaces variables on parsing, so one can't use a variable just set in an () block
-IF "%COQREGTESTING%"=="Y" (GOTO DontAsk)
-  SET /p ANSWER="Is this correct? y/n "
-  IF NOT "%ANSWER%"=="y" (GOTO :EOF)
-:DontAsk
-
-REM ========== DERIVED VARIABLES ==========
-
-SET CYGWIN_INSTALLDIR_WFMT=%DESTCYG%
-SET RESULT_INSTALLDIR_WFMT=%DESTCOQ%
-SET TARGET_ARCH=%ARCH%-w64-mingw32
-SET BASH=%CYGWIN_INSTALLDIR_WFMT%\bin\bash
-
-REM Convert pathes to various formats
-REM WFMT = windows format (C:\..)          Used in this batch file.
-REM CFMT = cygwin format (\cygdrive\c\..)  Used for Cygwin PATH varible, which is : separated, so C: doesn't work.
-REM MFMT = MinGW format (C:/...)           Used for the build, because \\ requires escaping. Mingw can handle \ and /.
-
-SET CYGWIN_INSTALLDIR_MFMT=%CYGWIN_INSTALLDIR_WFMT:\=/%
-SET RESULT_INSTALLDIR_MFMT=%RESULT_INSTALLDIR_WFMT:\=/%
-SET SOURCE_LOCAL_CACHE_MFMT=%SOURCE_LOCAL_CACHE_WFMT:\=/%
-
-SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_MFMT:C:/=/cygdrive/c/%
-SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_MFMT:C:/=/cygdrive/c/%
-SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_MFMT:C:/=/cygdrive/c/%
-
-SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_CFMT:D:/=/cygdrive/d/%
-SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_CFMT:D:/=/cygdrive/d/%
-SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_CFMT:D:/=/cygdrive/d/%
-
-SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_CFMT:E:/=/cygdrive/e/%
-SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_CFMT:E:/=/cygdrive/e/%
-SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_CFMT:E:/=/cygdrive/e/%
-
-ECHO CYGWIN INSTALL DIR (WIN)    = %CYGWIN_INSTALLDIR_WFMT%
-ECHO CYGWIN INSTALL DIR (MINGW)  = %CYGWIN_INSTALLDIR_MFMT%
-ECHO CYGWIN INSTALL DIR (CYGWIN) = %CYGWIN_INSTALLDIR_CFMT%
-ECHO RESULT INSTALL DIR (WIN)    = %RESULT_INSTALLDIR_WFMT%
-ECHO RESULT INSTALL DIR (MINGW)  = %RESULT_INSTALLDIR_MFMT%
-ECHO RESULT INSTALL DIR (CYGWIN) = %RESULT_INSTALLDIR_CFMT%
-
-REM WARNING: Add a space after the = in case you want set this to empty, otherwise the variable will be unset
-SET MAKE_OPT=-j %MAKE_THREADS%
-
-REM ========== DERIVED CYGWIN SETUP OPTIONS ==========
-
-REM One can't set a variable to empty in DOS, but you can set it to a space this way.
-REM The quotes are just there to make the space visible and to protect from "remove trailing spaces".
-SET "CYGWIN_OPT= "
-
-IF "%CYGWIN_FROM_CACHE%" == "Y" (
-  SET CYGWIN_OPT= %CYGWIN_OPT% -L
-)
-
-IF "%CYGWIN_QUIET%" == "Y" (
-  SET CYGWIN_OPT= %CYGWIN_OPT% -q --no-admin
-)
-
-IF "%GTK_FROM_SOURCES%"=="N" (
-  SET CYGWIN_OPT= %CYGWIN_OPT% -P mingw64-%ARCH%-gtk2.0,mingw64-%ARCH%-gtksourceview2.0
-)
-
-REM Cygwin setup sets proper ACLs (permissions) for folders it CREATES.
-REM Otherwise chmod won't work and e.g. the ocaml build will fail.
-REM Cygwin setup does not touch the ACLs of existing folders.
-
-REM Run Cygwin Setup
-
-SET RUNSETUP=Y
-IF EXIST "%CYGWIN_INSTALLDIR_WFMT%\etc\setup\installed.db" (
-  SET RUNSETUP=N
-)
-IF NOT "%CYGWIN_QUIET%" == "Y" (
-  SET RUNSETUP=Y
-)
-
-IF "%COQREGTESTING%" == "Y" (
-  ECHO "========== REMOVE EXISTING CYGWIN =========="
-  DEL /S /F /Q "%CYGWIN_INSTALLDIR_WFMT%" > NUL
-  SET RUNSETUP=Y
-)
-
-SET "EXTRAPACKAGES= "
-
-IF NOT "%APPVEYOR%" == "True" (
-  SET EXTRAPACKAGES=-P wget,curl,git,gcc-core,gcc-g++,automake1.5
-)
-
-ECHO "========== INSTALL CYGWIN =========="
-
-IF "%RUNSETUP%"=="Y" (
-  %SETUP% ^
-    --proxy "%PROXY%" ^
-    --site "%CYGWIN_REPOSITORY%" ^
-    --root "%CYGWIN_INSTALLDIR_WFMT%" ^
-    --local-package-dir "%CYGWIN_LOCAL_CACHE_WFMT%" ^
-    --no-shortcuts ^
-    %CYGWIN_OPT% ^
-    -P make,unzip ^
-    -P gdb,liblzma5 ^
-    -P patch,automake1.14 ^
-    -P mingw64-%ARCH%-binutils,mingw64-%ARCH%-gcc-core,mingw64-%ARCH%-gcc-g++,mingw64-%ARCH%-pkg-config,mingw64-%ARCH%-windows_default_manifest ^
-    -P mingw64-%ARCH%-headers,mingw64-%ARCH%-runtime,mingw64-%ARCH%-pthreads,mingw64-%ARCH%-zlib ^
-    -P libiconv-devel,libunistring-devel,libncurses-devel ^
-    -P gettext-devel,libgettextpo-devel ^
-    -P libglib2.0-devel,libgdk_pixbuf2.0-devel ^
-    -P libfontconfig1 ^
-    -P gtk-update-icon-cache ^
-    -P libtool,automake ^
-    -P intltool ^
-    %EXTRAPACKAGES% ^
-    || GOTO ErrorExit
-
-  MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build"
-  MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build\buildlogs"
-)
-
-IF NOT "%CYGWIN_QUIET%" == "Y" (
-  REM Like most setup programs, cygwin setup starts the real setup as a separate process, so wait for it.
-  REM This is not required with the -cygquiet=Y and the resulting --no-admin option.
-  :waitsetup
-  tasklist /fi "imagename eq %SETUP%" | find ":" > NUL
-  IF ERRORLEVEL 1 GOTO waitsetup
-)
-
-ECHO ========== CONFIGURE CYGWIN USER ACCOUNT ==========
-
-REM In case this batch file is called from a cygwin bash (e.g. a git repo) we need to clear
-REM HOME (otherwise we get to the home directory of the other installation)
-REM PROFILEREAD (this is set to true if the /etc/profile has been read, which creates user)
-SET "HOME="
-SET "PROFILEREAD="
-
-copy "%BATCHDIR%\configure_profile.sh" "%CYGWIN_INSTALLDIR_WFMT%\var\tmp" || GOTO ErrorExit
-%BASH% --login "%CYGWIN_INSTALLDIR_CFMT%\var\tmp\configure_profile.sh" "%PROXY%" || GOTO ErrorExit
-
-ECHO ========== BUILD COQ ==========
-
-MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build"
-MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build\patches"
-
-COPY "%BATCHDIR%\makecoq_mingw.sh" "%CYGWIN_INSTALLDIR_WFMT%\build" || GOTO ErrorExit
-COPY "%BATCHDIR%\patches_coq\*.*" "%CYGWIN_INSTALLDIR_WFMT%\build\patches" || GOTO ErrorExit
-
-%BASH% --login "%CYGWIN_INSTALLDIR_CFMT%\build\makecoq_mingw.sh" || GOTO ErrorExit
-
-ECHO ========== FINISHED ==========
-
-GOTO :EOF
-
-ECHO ========== BATCH FUNCTIONS ==========
-
-:PrintPars
-  REM  01234567890123456789012345678901234567890123456789012345678901234567890123456789
-  ECHO -arch     ^<i686 or x86_64^> Set cygwin, ocaml and coq to 32 or 64 bit
-  ECHO -mode     ^<mingwincygwin = install coq in default cygwin mingw sysroot^>
-  ECHO           ^<absoloute = install coq in -destcoq absulute path^>
-  ECHO           ^<relocatable = install relocatable coq in -destcoq path^>
-  ECHO -installer^<Y or N^> create a windows installer (will be in /build/coq/dev/nsis)
-  ECHO -ocaml    ^<Y or N^> install OCaml in Coq folder (Y) or just in cygwin folder (N)
-  ECHO -make     ^<Y or N^> install GNU Make in Coq folder (Y) or not (N)
-  ECHO -destcyg  ^<path to cygwin destination folder^>
-  ECHO -destcoq  ^<path to coq destination folder (mode=absoloute/relocatable)^>
-  ECHO -setup    ^<cygwin setup program name^> (auto adjusted to -arch)
-  ECHO -proxy    ^<internet proxy^>
-  ECHO -cygrepo  ^<cygwin download repository^>
-  ECHO -cygcache ^<local cygwin repository/cache^>
-  ECHO -cyglocal ^<Y or N^> install cygwin from cache
-  ECHO -cygquiet ^<Y or N^> install cygwin without user interaction
-  ECHO -srccache ^<local source code repository/cache^>
-  ECHO -coqver   ^<Coq version to install^>
-  ECHO -gtksrc   ^<Y or N^> build GTK ^(90 min^) or use cygwin version
-  ECHO -threads  ^<1..N^> Number of make threads
-  ECHO -addon    ^<name^>  Enable building selected addon (can be repeated)
-  ECHO(
-  ECHO See ReadMe.txt for a detailed description of all parameters
-  ECHO(
-  ECHO Parameter values (default or currently set):
-  ECHO -arch     = %ARCH%
-  ECHO -mode     = %INSTALLMODE%
-  ECHO -ocaml    = %INSTALLOCAML%
-  ECHO -installer= %MAKEINSTALLER%
-  ECHO -make     = %INSTALLMAKE%
-  ECHO -destcyg  = %DESTCYG%
-  ECHO -destcoq  = %DESTCOQ%
-  ECHO -setup    = %SETUP%
-  ECHO -proxy    = %PROXY%
-  ECHO -cygrepo  = %CYGWIN_REPOSITORY%
-  ECHO -cygcache = %CYGWIN_LOCAL_CACHE_WFMT%
-  ECHO -cyglocal = %CYGWIN_FROM_CACHE%
-  ECHO -cygquiet = %CYGWIN_QUIET%
-  ECHO -srccache = %SOURCE_LOCAL_CACHE_WFMT%
-  ECHO -coqver   = %COQ_VERSION%
-  ECHO -gtksrc   = %GTK_FROM_SOURCES%
-  ECHO -threads  = %MAKE_THREADS%
-  ECHO -addon    = %COQ_ADDONS%
-  GOTO :EOF
-
-:CheckYN
-  REM Reset errorlevel to 0
-  CMD /c "EXIT /b 0"
-  IF "%2" == "Y" (
-    REM OK Y
-  ) ELSE IF "%2" == "N" (
-    REM OK N
-  ) ELSE (
-    ECHO ERROR Parameter %1 must be Y or N, but is %2
-    GOTO ErrorExit
-  )
-  GOTO :EOF
-
-:ErrorExit
-  ECHO ERROR MakeCoq_MinGW.bat failed
-  EXIT /b 1
+@ECHO OFF

+

+REM ========== COPYRIGHT/COPYLEFT ==========

+

+REM (C) 2016 Intel Deutschland GmbH

+REM Author: Michael Soegtrop

+

+REM Released to the public by Intel under the

+REM GNU Lesser General Public License Version 2.1 or later

+REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html

+

+REM ========== NOTES ==========

+

+REM For Cygwin setup command line options

+REM see https://cygwin.com/faq/faq.html#faq.setup.cli

+

+REM ========== DEFAULT VALUES FOR PARAMETERS ==========

+

+REM For a description of all parameters, see ReadMe.txt

+

+SET BATCHFILE=%~0

+SET BATCHDIR=%~dp0

+

+REM see -arch in ReadMe.txt, but values are x86_64 or i686 (not 64 or 32)

+SET ARCH=x86_64

+

+REM see -mode in ReadMe.txt

+SET INSTALLMODE=absolute

+

+REM see -installer in ReadMe.txt

+SET MAKEINSTALLER=N

+

+REM see -ocaml in ReadMe.txt

+SET INSTALLOCAML=N

+

+REM see -make in ReadMe.txt

+SET INSTALLMAKE=N

+

+REM see -destcyg in ReadMe.txt

+SET DESTCYG=C:\bin\cygwin_coq

+

+REM see -destcoq in ReadMe.txt

+SET DESTCOQ=C:\bin\coq

+

+REM see -setup in ReadMe.txt

+SET SETUP=setup-x86_64.exe

+

+REM see -proxy in ReadMe.txt

+IF DEFINED HTTP_PROXY (

+  SET PROXY=%HTTP_PROXY:http://=%

+) else (

+  REM One can't set a variable to empty in DOS, but you can set it to a space this way.

+  REM The quotes are just there to make the space visible and to protect from "remove trailing spaces".

+  SET "PROXY= "

+)

+

+REM see -cygrepo in ReadMe.txt

+SET CYGWIN_REPOSITORY=http://ftp.inf.tu-dresden.de/software/windows/cygwin32

+

+REM see -cygcache in ReadMe.txt

+SET CYGWIN_LOCAL_CACHE_WFMT=%BATCHDIR%cygwin_cache

+

+REM see -cyglocal in ReadMe.txt

+SET CYGWIN_FROM_CACHE=N

+

+REM see -cygquiet in ReadMe.txt

+SET CYGWIN_QUIET=Y

+

+REM see -srccache in ReadMe.txt

+SET SOURCE_LOCAL_CACHE_WFMT=%BATCHDIR%source_cache

+

+REM see -coqver in ReadMe.txt

+SET COQ_VERSION=8.5pl3

+

+REM see -gtksrc in ReadMe.txt

+SET GTK_FROM_SOURCES=N

+

+REM see -threads in ReadMe.txt

+SET MAKE_THREADS=8

+

+REM see -addon in ReadMe.txt

+SET "COQ_ADDONS= "

+

+REM ========== PARSE COMMAND LINE PARAMETERS ==========

+

+SHIFT

+

+:Parse

+

+IF "%~0" == "-arch" (

+  IF "%~1" == "32" (

+    SET ARCH=i686

+    SET SETUP=setup-x86.exe

+  ) ELSE (

+    IF "%~1" == "64" (

+      SET ARCH=x86_64

+      SET SETUP=setup-x86_64.exe

+    ) ELSE (

+      ECHO "Invalid -arch, valid are 32 and 64"

+      GOTO :EOF

+    )

+  )

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-mode" (

+  IF "%~1" == "mingwincygwin" (

+    SET INSTALLMODE=%~1

+  ) ELSE (

+    IF "%~1" == "absolute" (

+      SET INSTALLMODE=%~1

+    ) ELSE (

+      IF "%~1" == "relocatable" (

+        SET INSTALLMODE=%~1

+      ) ELSE (

+        ECHO "Invalid -mode, valid are mingwincygwin, absolute and relocatable"

+        GOTO :EOF

+      )

+    )

+  )

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-installer" (

+  SET MAKEINSTALLER=%~1

+  CALL :CheckYN -installer %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-ocaml" (

+  SET INSTALLOCAML=%~1

+  CALL :CheckYN -installer %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-make" (

+  SET INSTALLMAKE=%~1

+  CALL :CheckYN -installer %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-destcyg" (

+  SET DESTCYG=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-destcoq" (

+  SET DESTCOQ=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-setup" (

+  SET SETUP=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-proxy" (

+  SET PROXY=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-cygrepo" (

+  SET CYGWIN_REPOSITORY=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-cygcache" (

+  SET CYGWIN_LOCAL_CACHE_WFMT=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-cyglocal" (

+  SET CYGWIN_FROM_CACHE=%~1

+  CALL :CheckYN -cyglocal %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-cygquiet" (

+  SET CYGWIN_QUIET=%~1

+  CALL :CheckYN -cygquiet %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-srccache" (

+  SET SOURCE_LOCAL_CACHE_WFMT=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-coqver" (

+  SET COQ_VERSION=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-gtksrc" (

+  SET GTK_FROM_SOURCES=%~1

+  CALL :CheckYN -gtksrc %~1 || GOTO ErrorExit

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-threads" (

+  SET MAKE_THREADS=%~1

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+IF "%~0" == "-addon" (

+  SET "COQ_ADDONS=%COQ_ADDONS% %~1"

+  SHIFT

+  SHIFT

+  GOTO Parse

+)

+

+

+IF NOT "%~0" == "" (

+  ECHO Install cygwin and download, compile and install OCaml and Coq for MinGW

+  ECHO !!! Illegal parameter %~0

+  ECHO Usage:

+  ECHO MakeCoq_MinGW

+  CALL :PrintPars

+  GOTO :EOF

+)

+

+IF NOT EXIST %SETUP% (

+  ECHO The cygwin setup program %SETUP% doesn't exist. You must download it from https://cygwin.com/install.html.

+  ECHO If the setup is in a different folder, set the full path to %SETUP% using the -setup option.

+  GOTO :EOF

+)

+

+REM ========== ADJUST PARAMETERS ==========

+

+IF "%INSTALLMODE%" == "mingwincygwin" (

+  SET DESTCOQ=%DESTCYG%\usr\%ARCH%-w64-mingw32\sys-root\mingw

+)

+

+IF "%MAKEINSTALLER%" == "Y" (

+  SET INSTALLMODE=relocatable

+)

+

+REM ========== CONFIRM PARAMETERS ==========

+

+CALL :PrintPars

+REM Note: DOS batch replaces variables on parsing, so one can't use a variable just set in an () block

+IF "%COQREGTESTING%"=="Y" (GOTO DontAsk)

+  SET /p ANSWER="Is this correct? y/n "

+  IF NOT "%ANSWER%"=="y" (GOTO :EOF)

+:DontAsk

+

+REM ========== DERIVED VARIABLES ==========

+

+SET CYGWIN_INSTALLDIR_WFMT=%DESTCYG%

+SET RESULT_INSTALLDIR_WFMT=%DESTCOQ%

+SET TARGET_ARCH=%ARCH%-w64-mingw32

+SET BASH=%CYGWIN_INSTALLDIR_WFMT%\bin\bash

+

+REM Convert pathes to various formats

+REM WFMT = windows format (C:\..)          Used in this batch file.

+REM CFMT = cygwin format (\cygdrive\c\..)  Used for Cygwin PATH varible, which is : separated, so C: doesn't work.

+REM MFMT = MinGW format (C:/...)           Used for the build, because \\ requires escaping. Mingw can handle \ and /.

+

+SET CYGWIN_INSTALLDIR_MFMT=%CYGWIN_INSTALLDIR_WFMT:\=/%

+SET RESULT_INSTALLDIR_MFMT=%RESULT_INSTALLDIR_WFMT:\=/%

+SET SOURCE_LOCAL_CACHE_MFMT=%SOURCE_LOCAL_CACHE_WFMT:\=/%

+

+SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_MFMT:C:/=/cygdrive/c/%

+SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_MFMT:C:/=/cygdrive/c/%

+SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_MFMT:C:/=/cygdrive/c/%

+

+SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_CFMT:D:/=/cygdrive/d/%

+SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_CFMT:D:/=/cygdrive/d/%

+SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_CFMT:D:/=/cygdrive/d/%

+

+SET CYGWIN_INSTALLDIR_CFMT=%CYGWIN_INSTALLDIR_CFMT:E:/=/cygdrive/e/%

+SET RESULT_INSTALLDIR_CFMT=%RESULT_INSTALLDIR_CFMT:E:/=/cygdrive/e/%

+SET SOURCE_LOCAL_CACHE_CFMT=%SOURCE_LOCAL_CACHE_CFMT:E:/=/cygdrive/e/%

+

+ECHO CYGWIN INSTALL DIR (WIN)    = %CYGWIN_INSTALLDIR_WFMT%

+ECHO CYGWIN INSTALL DIR (MINGW)  = %CYGWIN_INSTALLDIR_MFMT%

+ECHO CYGWIN INSTALL DIR (CYGWIN) = %CYGWIN_INSTALLDIR_CFMT%

+ECHO RESULT INSTALL DIR (WIN)    = %RESULT_INSTALLDIR_WFMT%

+ECHO RESULT INSTALL DIR (MINGW)  = %RESULT_INSTALLDIR_MFMT%

+ECHO RESULT INSTALL DIR (CYGWIN) = %RESULT_INSTALLDIR_CFMT%

+

+REM WARNING: Add a space after the = in case you want set this to empty, otherwise the variable will be unset

+SET MAKE_OPT=-j %MAKE_THREADS%

+

+REM ========== DERIVED CYGWIN SETUP OPTIONS ==========

+

+REM One can't set a variable to empty in DOS, but you can set it to a space this way.

+REM The quotes are just there to make the space visible and to protect from "remove trailing spaces".

+SET "CYGWIN_OPT= "

+

+IF "%CYGWIN_FROM_CACHE%" == "Y" (

+  SET CYGWIN_OPT= %CYGWIN_OPT% -L

+)

+

+IF "%CYGWIN_QUIET%" == "Y" (

+  SET CYGWIN_OPT= %CYGWIN_OPT% -q --no-admin

+)

+

+IF "%GTK_FROM_SOURCES%"=="N" (

+  SET CYGWIN_OPT= %CYGWIN_OPT% -P mingw64-%ARCH%-gtk2.0,mingw64-%ARCH%-gtksourceview2.0

+)

+

+REM Cygwin setup sets proper ACLs (permissions) for folders it CREATES.

+REM Otherwise chmod won't work and e.g. the ocaml build will fail.

+REM Cygwin setup does not touch the ACLs of existing folders.

+

+REM Run Cygwin Setup

+

+SET RUNSETUP=Y

+IF EXIST "%CYGWIN_INSTALLDIR_WFMT%\etc\setup\installed.db" (

+  SET RUNSETUP=N

+)

+IF NOT "%CYGWIN_QUIET%" == "Y" (

+  SET RUNSETUP=Y

+)

+

+IF "%COQREGTESTING%" == "Y" (

+  ECHO "========== REMOVE EXISTING CYGWIN =========="

+  DEL /S /F /Q "%CYGWIN_INSTALLDIR_WFMT%" > NUL

+  SET RUNSETUP=Y

+)

+

+SET "EXTRAPACKAGES= "

+

+IF NOT "%APPVEYOR%" == "True" (

+  SET EXTRAPACKAGES=-P wget,curl,git,gcc-core,gcc-g++,automake1.5

+)

+

+ECHO "========== INSTALL CYGWIN =========="

+

+IF "%RUNSETUP%"=="Y" (

+  %SETUP% ^

+    --proxy "%PROXY%" ^

+    --site "%CYGWIN_REPOSITORY%" ^

+    --root "%CYGWIN_INSTALLDIR_WFMT%" ^

+    --local-package-dir "%CYGWIN_LOCAL_CACHE_WFMT%" ^

+    --no-shortcuts ^

+    %CYGWIN_OPT% ^

+    -P make,unzip ^

+    -P gdb,liblzma5 ^

+    -P patch,automake1.14 ^

+    -P mingw64-%ARCH%-binutils,mingw64-%ARCH%-gcc-core,mingw64-%ARCH%-gcc-g++,mingw64-%ARCH%-pkg-config,mingw64-%ARCH%-windows_default_manifest ^

+    -P mingw64-%ARCH%-headers,mingw64-%ARCH%-runtime,mingw64-%ARCH%-pthreads,mingw64-%ARCH%-zlib ^

+    -P libiconv-devel,libunistring-devel,libncurses-devel ^

+    -P gettext-devel,libgettextpo-devel ^

+    -P libglib2.0-devel,libgdk_pixbuf2.0-devel ^

+    -P libfontconfig1 ^

+    -P gtk-update-icon-cache ^

+    -P libtool,automake ^

+    -P intltool ^

+    %EXTRAPACKAGES% ^

+    || GOTO ErrorExit

+

+  MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build"

+  MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build\buildlogs"

+)

+

+IF NOT "%CYGWIN_QUIET%" == "Y" (

+  REM Like most setup programs, cygwin setup starts the real setup as a separate process, so wait for it.

+  REM This is not required with the -cygquiet=Y and the resulting --no-admin option.

+  :waitsetup

+  tasklist /fi "imagename eq %SETUP%" | find ":" > NUL

+  IF ERRORLEVEL 1 GOTO waitsetup

+)

+

+ECHO ========== CONFIGURE CYGWIN USER ACCOUNT ==========

+

+REM In case this batch file is called from a cygwin bash (e.g. a git repo) we need to clear

+REM HOME (otherwise we get to the home directory of the other installation)

+REM PROFILEREAD (this is set to true if the /etc/profile has been read, which creates user)

+SET "HOME="

+SET "PROFILEREAD="

+

+copy "%BATCHDIR%\configure_profile.sh" "%CYGWIN_INSTALLDIR_WFMT%\var\tmp" || GOTO ErrorExit

+%BASH% --login "%CYGWIN_INSTALLDIR_CFMT%\var\tmp\configure_profile.sh" "%PROXY%" || GOTO ErrorExit

+

+ECHO ========== BUILD COQ ==========

+

+MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build"

+MKDIR "%CYGWIN_INSTALLDIR_WFMT%\build\patches"

+

+COPY "%BATCHDIR%\makecoq_mingw.sh" "%CYGWIN_INSTALLDIR_WFMT%\build" || GOTO ErrorExit

+COPY "%BATCHDIR%\patches_coq\*.*" "%CYGWIN_INSTALLDIR_WFMT%\build\patches" || GOTO ErrorExit

+

+%BASH% --login "%CYGWIN_INSTALLDIR_CFMT%\build\makecoq_mingw.sh" || GOTO ErrorExit

+

+ECHO ========== FINISHED ==========

+

+GOTO :EOF

+

+ECHO ========== BATCH FUNCTIONS ==========

+

+:PrintPars

+  REM  01234567890123456789012345678901234567890123456789012345678901234567890123456789

+  ECHO -arch     ^<i686 or x86_64^> Set cygwin, ocaml and coq to 32 or 64 bit

+  ECHO -mode     ^<mingwincygwin = install coq in default cygwin mingw sysroot^>

+  ECHO           ^<absoloute = install coq in -destcoq absulute path^>

+  ECHO           ^<relocatable = install relocatable coq in -destcoq path^>

+  ECHO -installer^<Y or N^> create a windows installer (will be in /build/coq/dev/nsis)

+  ECHO -ocaml    ^<Y or N^> install OCaml in Coq folder (Y) or just in cygwin folder (N)

+  ECHO -make     ^<Y or N^> install GNU Make in Coq folder (Y) or not (N)

+  ECHO -destcyg  ^<path to cygwin destination folder^>

+  ECHO -destcoq  ^<path to coq destination folder (mode=absoloute/relocatable)^>

+  ECHO -setup    ^<cygwin setup program name^> (auto adjusted to -arch)

+  ECHO -proxy    ^<internet proxy^>

+  ECHO -cygrepo  ^<cygwin download repository^>

+  ECHO -cygcache ^<local cygwin repository/cache^>

+  ECHO -cyglocal ^<Y or N^> install cygwin from cache

+  ECHO -cygquiet ^<Y or N^> install cygwin without user interaction

+  ECHO -srccache ^<local source code repository/cache^>

+  ECHO -coqver   ^<Coq version to install^>

+  ECHO -gtksrc   ^<Y or N^> build GTK ^(90 min^) or use cygwin version

+  ECHO -threads  ^<1..N^> Number of make threads

+  ECHO -addon    ^<name^>  Enable building selected addon (can be repeated)

+  ECHO(

+  ECHO See ReadMe.txt for a detailed description of all parameters

+  ECHO(

+  ECHO Parameter values (default or currently set):

+  ECHO -arch     = %ARCH%

+  ECHO -mode     = %INSTALLMODE%

+  ECHO -ocaml    = %INSTALLOCAML%

+  ECHO -installer= %MAKEINSTALLER%

+  ECHO -make     = %INSTALLMAKE%

+  ECHO -destcyg  = %DESTCYG%

+  ECHO -destcoq  = %DESTCOQ%

+  ECHO -setup    = %SETUP%

+  ECHO -proxy    = %PROXY%

+  ECHO -cygrepo  = %CYGWIN_REPOSITORY%

+  ECHO -cygcache = %CYGWIN_LOCAL_CACHE_WFMT%

+  ECHO -cyglocal = %CYGWIN_FROM_CACHE%

+  ECHO -cygquiet = %CYGWIN_QUIET%

+  ECHO -srccache = %SOURCE_LOCAL_CACHE_WFMT%

+  ECHO -coqver   = %COQ_VERSION%

+  ECHO -gtksrc   = %GTK_FROM_SOURCES%

+  ECHO -threads  = %MAKE_THREADS%

+  ECHO -addon    = %COQ_ADDONS%

+  GOTO :EOF

+

+:CheckYN

+  REM Reset errorlevel to 0

+  CMD /c "EXIT /b 0"

+  IF "%2" == "Y" (

+    REM OK Y

+  ) ELSE IF "%2" == "N" (

+    REM OK N

+  ) ELSE (

+    ECHO ERROR Parameter %1 must be Y or N, but is %2

+    GOTO ErrorExit

+  )

+  GOTO :EOF

+

+:ErrorExit

+  ECHO ERROR MakeCoq_MinGW.bat failed

+  EXIT /b 1

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index a848c49d75..09e9762261 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -1,120 +1,120 @@
-@ECHO OFF
-
-REM This script builds and signs the Windows packages on Gitlab
-
-ECHO "Start Time"
-TIME /T
-
-REM List currently used cygwin and target folders for debugging / maintenance purposes
-
-ECHO "Currently used cygwin folders"
-DIR C:\ci\cygwin*
-ECHO "Currently used target folders"
-DIR C:\ci\coq*
-ECHO "Root folders"
-DIR C:\
-
-if %ARCH% == 32 (
-  SET ARCHLONG=i686
-  SET SETUP=setup-x86.exe
-)
-
-if %ARCH% == 64 (
-  SET ARCHLONG=x86_64
-  SET SETUP=setup-x86_64.exe
-)
-
-SET CYGROOT=C:\ci\cygwin%ARCH%
-SET DESTCOQ=C:\ci\coq%ARCH%
-
-CALL :MakeUniqueFolder %CYGROOT% CYGROOT
-CALL :MakeUniqueFolder %DESTCOQ% DESTCOQ
-
-powershell -Command "(New-Object Net.WebClient).DownloadFile('http://www.cygwin.com/%SETUP%', '%SETUP%')"
-SET CYGCACHE=%CYGROOT%\var\cache\setup
-SET CI_PROJECT_DIR_MFMT=%CI_PROJECT_DIR:\=/%
-SET CI_PROJECT_DIR_CFMT=%CI_PROJECT_DIR_MFMT:C:/=/cygdrive/c/%
-SET COQREGTESTING=Y
-SET PATH=%PATH%;C:\Program Files\7-Zip\;C:\Program Files\Microsoft SDKs\Windows\v7.1\Bin
-
-if exist %CYGROOT%\build\ rd /s /q %CYGROOT%\build
-if exist %DESTCOQ%\ rd /s /q %DESTCOQ%
-
-call %CI_PROJECT_DIR%\dev\build\windows\MakeCoq_MinGW.bat -threads=1 ^
-  -arch=%ARCH% -installer=Y -coqver=%CI_PROJECT_DIR_CFMT% ^
-  -destcyg=%CYGROOT% -destcoq=%DESTCOQ% -cygcache=%CYGCACHE% ^
-  -addon="bignums ltac2 equations" -make=N ^
-  -setup %CI_PROJECT_DIR%\%SETUP% || GOTO ErrorCopyLogFilesAndExit
-
-
-ECHO "Start Artifact Creation"
-TIME /T
-
-mkdir artifacts
-
-CALL :CopyLogFiles
-
-copy "%CYGROOT%\build\coq-local\dev\nsis\*.exe" artifacts || GOTO ErrorExit
-REM The open source archive is only required for release builds
-IF DEFINED WIN_CERTIFICATE_PATH (
-  7z a artifacts\coq-opensource-archive-windows-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* || GOTO ErrorExit
-) ELSE (
-  REM In non release builds, create a dummy file
-  ECHO "This is not a release build - open source archive not created / uploaded" > artifacts\coq-opensource-info.txt
-)
-
-REM DO NOT echo the signing command below, as this would leak secrets in the logs
-IF DEFINED WIN_CERTIFICATE_PATH (
-  IF DEFINED WIN_CERTIFICATE_PASSWORD (
-    ECHO Signing package
-    @signtool sign /f %WIN_CERTIFICATE_PATH% /p %WIN_CERTIFICATE_PASSWORD% dev\nsis\*.exe
-    signtool verify /pa dev\nsis\*.exe
-  )
-)
-
-ECHO "Finished Artifact Creation"
-TIME /T
-
-CALL :CleanupFolders
-
-ECHO "Finished Cleanup"
-TIME /T
-
-GOTO :EOF
-
-:CopyLogFiles
-  ECHO Copy log files for artifact upload
-  MKDIR artifacts\buildlogs
-  COPY %CYGROOT%\build\buildlogs\* artifacts\buildlogs
-  MKDIR artifacts\filelists
-  COPY %CYGROOT%\build\filelists\* artifacts\filelists
-  MKDIR artifacts\flagfiles
-  COPY %CYGROOT%\build\flagfiles\* artifacts\flagfiles
-  GOTO :EOF
-
-:CleanupFolders
-  ECHO "Cleaning %CYGROOT%"
-  RMDIR /S /Q "%CYGROOT%"
-  ECHO "Cleaning %DESTCOQ%"
-  RMDIR /S /Q "%DESTCOQ%"
-  GOTO :EOF
-
-:MakeUniqueFolder
-  REM Create a uniquely named folder
-  REM This script is safe because folder creation is atomic - either we create it or fail
-  REM %1 = base path or directory (_%RANDOM%_%RANDOM% is appended to this)
-  REM %2 = name of the variable which receives the unique folder name
-  SET "UNIQUENAME=%1_%RANDOM%_%RANDOM%"
-  MKDIR "%UNIQUENAME%"
-  IF ERRORLEVEL 1 GOTO :MakeUniqueFolder
-  SET "%2=%UNIQUENAME%"
-  GOTO :EOF
-
-:ErrorCopyLogFilesAndExit
-  CALL :CopyLogFiles
-  REM fall through
-
-:ErrorExit
-  CALL :CleanupFolders
-  ECHO ERROR %0 failed
-  EXIT /b 1
+@ECHO OFF

+

+REM This script builds and signs the Windows packages on Gitlab

+

+ECHO "Start Time"

+TIME /T

+

+REM List currently used cygwin and target folders for debugging / maintenance purposes

+

+ECHO "Currently used cygwin folders"

+DIR C:\ci\cygwin*

+ECHO "Currently used target folders"

+DIR C:\ci\coq*

+ECHO "Root folders"

+DIR C:\

+

+if %ARCH% == 32 (

+  SET ARCHLONG=i686

+  SET SETUP=setup-x86.exe

+)

+

+if %ARCH% == 64 (

+  SET ARCHLONG=x86_64

+  SET SETUP=setup-x86_64.exe

+)

+

+SET CYGROOT=C:\ci\cygwin%ARCH%

+SET DESTCOQ=C:\ci\coq%ARCH%

+

+CALL :MakeUniqueFolder %CYGROOT% CYGROOT

+CALL :MakeUniqueFolder %DESTCOQ% DESTCOQ

+

+powershell -Command "(New-Object Net.WebClient).DownloadFile('http://www.cygwin.com/%SETUP%', '%SETUP%')"

+SET CYGCACHE=%CYGROOT%\var\cache\setup

+SET CI_PROJECT_DIR_MFMT=%CI_PROJECT_DIR:\=/%

+SET CI_PROJECT_DIR_CFMT=%CI_PROJECT_DIR_MFMT:C:/=/cygdrive/c/%

+SET COQREGTESTING=Y

+SET PATH=%PATH%;C:\Program Files\7-Zip\;C:\Program Files\Microsoft SDKs\Windows\v7.1\Bin

+

+if exist %CYGROOT%\build\ rd /s /q %CYGROOT%\build

+if exist %DESTCOQ%\ rd /s /q %DESTCOQ%

+

+call %CI_PROJECT_DIR%\dev\build\windows\MakeCoq_MinGW.bat -threads=1 ^

+  -arch=%ARCH% -installer=Y -coqver=%CI_PROJECT_DIR_CFMT% ^

+  -destcyg=%CYGROOT% -destcoq=%DESTCOQ% -cygcache=%CYGCACHE% ^

+  -addon="bignums ltac2 equations" -make=N ^

+  -setup %CI_PROJECT_DIR%\%SETUP% || GOTO ErrorCopyLogFilesAndExit

+

+

+ECHO "Start Artifact Creation"

+TIME /T

+

+mkdir artifacts

+

+CALL :CopyLogFiles

+

+copy "%CYGROOT%\build\coq-local\dev\nsis\*.exe" artifacts || GOTO ErrorExit

+REM The open source archive is only required for release builds

+IF DEFINED WIN_CERTIFICATE_PATH (

+  7z a artifacts\coq-opensource-archive-windows-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* || GOTO ErrorExit

+) ELSE (

+  REM In non release builds, create a dummy file

+  ECHO "This is not a release build - open source archive not created / uploaded" > artifacts\coq-opensource-info.txt

+)

+

+REM DO NOT echo the signing command below, as this would leak secrets in the logs

+IF DEFINED WIN_CERTIFICATE_PATH (

+  IF DEFINED WIN_CERTIFICATE_PASSWORD (

+    ECHO Signing package

+    @signtool sign /f %WIN_CERTIFICATE_PATH% /p %WIN_CERTIFICATE_PASSWORD% dev\nsis\*.exe

+    signtool verify /pa dev\nsis\*.exe

+  )

+)

+

+ECHO "Finished Artifact Creation"

+TIME /T

+

+CALL :CleanupFolders

+

+ECHO "Finished Cleanup"

+TIME /T

+

+GOTO :EOF

+

+:CopyLogFiles

+  ECHO Copy log files for artifact upload

+  MKDIR artifacts\buildlogs

+  COPY %CYGROOT%\build\buildlogs\* artifacts\buildlogs

+  MKDIR artifacts\filelists

+  COPY %CYGROOT%\build\filelists\* artifacts\filelists

+  MKDIR artifacts\flagfiles

+  COPY %CYGROOT%\build\flagfiles\* artifacts\flagfiles

+  GOTO :EOF

+

+:CleanupFolders

+  ECHO "Cleaning %CYGROOT%"

+  RMDIR /S /Q "%CYGROOT%"

+  ECHO "Cleaning %DESTCOQ%"

+  RMDIR /S /Q "%DESTCOQ%"

+  GOTO :EOF

+

+:MakeUniqueFolder

+  REM Create a uniquely named folder

+  REM This script is safe because folder creation is atomic - either we create it or fail

+  REM %1 = base path or directory (_%RANDOM%_%RANDOM% is appended to this)

+  REM %2 = name of the variable which receives the unique folder name

+  SET "UNIQUENAME=%1_%RANDOM%_%RANDOM%"

+  MKDIR "%UNIQUENAME%"

+  IF ERRORLEVEL 1 GOTO :MakeUniqueFolder

+  SET "%2=%UNIQUENAME%"

+  GOTO :EOF

+

+:ErrorCopyLogFilesAndExit

+  CALL :CopyLogFiles

+  REM fall through

+

+:ErrorExit

+  CALL :CleanupFolders

+  ECHO ERROR %0 failed

+  EXIT /b 1