@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 ========== BUILD COQ ==========
call MakeCoq_SetRootPath
call MakeCoq_MinGW.bat ^
-arch=64 ^
-installer=Y ^
-coqver=git-v8.6 ^
-destcyg="%ROOTPATH%\cygwin_coq64_cachefolder_inst" ^
-destcoq="%ROOTPATH%\coq64_cachefolder_inst" ^
-cygcache="%ROOTPATH%\cache\cygwin" ^
-srccache="%ROOTPATH%\cache\source"
IF %ERRORLEVEL% NEQ 0 (
ECHO MakeCoq_explicitcachefolders_installer.bat failed with error code %ERRORLEVEL%
EXIT /b %ERRORLEVEL%
)
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
