diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:09:55 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:09:55 +0100 |
| commit | 1f5699d57e9d4950b43d6c5f5259c3cf15564b31 (patch) | |
| tree | 2b41d85397b74e8ad39060e1ecfa7dc09100b40d /dev/build/windows/MakeCoq_MinGW.bat | |
| parent | 563199757c5756fb5858da1b684162566a73fa3e (diff) | |
| parent | eb91eb5dd0487493b0b2e1a62ccabf4c8115ac98 (diff) | |
Merge PR #6881: [windows] support -addon in build script
Diffstat (limited to 'dev/build/windows/MakeCoq_MinGW.bat')
| -rw-r--r-- | dev/build/windows/MakeCoq_MinGW.bat | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat index 665d54176..ccf22cc86 100644 --- a/dev/build/windows/MakeCoq_MinGW.bat +++ b/dev/build/windows/MakeCoq_MinGW.bat @@ -78,6 +78,9 @@ 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 @@ -233,6 +236,14 @@ IF "%~0" == "-threads" ( 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 @@ -426,6 +437,7 @@ ECHO ========== BATCH FUNCTIONS ========== 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( @@ -447,6 +459,7 @@ ECHO ========== BATCH FUNCTIONS ========== ECHO -coqver = %COQ_VERSION% ECHO -gtksrc = %GTK_FROM_SOURCES% ECHO -threads = %MAKE_THREADS% + ECHO -addon = %COQ_ADDONS% GOTO :EOF :CheckYN |