diff options
Diffstat (limited to 'etc/environments')
-rw-r--r-- | etc/environments/default-mingw.bat | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/etc/environments/default-mingw.bat b/etc/environments/default-mingw.bat new file mode 100644 index 0000000..3d9bcb1 --- /dev/null +++ b/etc/environments/default-mingw.bat @@ -0,0 +1,43 @@ +@echo off + +rem file : etc/environments/default-mingw.bat +rem copyright : Copyright (c) 2014-2017 Code Synthesis Ltd +rem license : TBC; see accompanying LICENSE file + +rem +rem Environment setup script for C/C++ compilation with MinGW GCC. +rem + +rem %1 - target +rem %2 - bbot executable +rem %3+ - bbot options + +setlocal EnableExtensions EnableDelayedExpansion + +set "MINGW=C:\build2\bin" + +set "PATH=$MINGW;%PATH%" + +rem Based on target determine what we are building. +rem +rem Note that an empty argument is passed as "" (literal quotes). +rem +if _%1_ == _""_ ( + rem +) else ( + echo error: unknown target %1 + goto error +) + +%2 %3 %4 %5 %6 %7 %8 %9 cc config.c=gcc config.cxx=g++ +if errorlevel 1 goto error + +goto end + +:error +@echo off +endlocal +exit /b 1 + +:end +endlocal |