diff options
Diffstat (limited to 'extern/ode/dist/tools/build4.bat')
-rwxr-xr-x | extern/ode/dist/tools/build4.bat | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/extern/ode/dist/tools/build4.bat b/extern/ode/dist/tools/build4.bat new file mode 100755 index 00000000000..c87e9a9e2ba --- /dev/null +++ b/extern/ode/dist/tools/build4.bat @@ -0,0 +1,43 @@ +@echo off +rem build all four precision/release configurations and log the build messages +rem (used for debugging). + +setlocal + +set PLATFORM=cygwin +set SETTINGS=config\user-settings + +echo SINGLE debug > BUILD_LOG +echo PLATFORM=%PLATFORM%> %SETTINGS% +echo PRECISION=SINGLE>> %SETTINGS% +echo BUILD=debug>> %SETTINGS% +make clean +make >> BUILD_LOG +echo --------------------------------------------- >> BUILD_LOG + +echo DOUBLE debug >> BUILD_LOG +echo PLATFORM=%PLATFORM%> %SETTINGS% +echo PRECISION=DOUBLE>> %SETTINGS% +echo BUILD=debug>> %SETTINGS% +make clean +make >> BUILD_LOG +echo --------------------------------------------- >> BUILD_LOG + +echo SINGLE release >> BUILD_LOG +echo PLATFORM=%PLATFORM%> %SETTINGS% +echo PRECISION=SINGLE>> %SETTINGS% +echo BUILD=release>> %SETTINGS% +make clean +make >> BUILD_LOG +echo --------------------------------------------- >> BUILD_LOG + +echo DOUBLE release >> BUILD_LOG +echo PLATFORM=%PLATFORM%> %SETTINGS% +echo PRECISION=DOUBLE>> %SETTINGS% +echo BUILD=release>> %SETTINGS% +make clean +make >> BUILD_LOG +echo --------------------------------------------- >> BUILD_LOG + +make clean +del %SETTINGS% |