| # --- Setup of Windows/MinGW specific options --- |
| |
| message ("Setting specific options for Windows/MinGW...") |
| |
| # Compilation directives |
| add_definitions (-D__AVM_MINGW__ -D__AVM_WINDOWS__) |
| add_compile_options (-fmessage-length=0 -pipe) |
| |
| # Prerequisites default localization |
| if (NOT BOOST_ROOT) |
| set (BOOST_ROOT C:/boost-1.53) |
| endif () |
| |
| if (NOT GMP_ROOT) |
| set (GMP_ROOT C:/GMP) |
| endif () |
| |
| if (NOT ANTLR_ROOT) |
| set (ANTLR_ROOT C:/ANTLR) |
| endif () |
| |
| if (NOT CVC4_ROOT) |
| set (CVC4_ROOT C:/CVC4) |
| endif () |
| |
| if (NOT OMEGA_ROOT) |
| set (OMEGA_ROOT C:/Omega) |
| endif () |