| /* Generated automatically. */ |
| static const char configuration_arguments[] = "/tmp/build-mingw64-toolchain-digit/src/gcc-4.8.3/configure --prefix=/tmp/build-mingw64-toolchain-digit/install-x86_64-linux-gnu/x86_64-w64-mingw32 --disable-shared --with-gmp=/tmp/build-mingw64-toolchain-digit/install-x86_64-linux-gnu/x86_64-w64-mingw32 --with-mpfr=/tmp/build-mingw64-toolchain-digit/install-x86_64-linux-gnu/x86_64-w64-mingw32 --with-mpc=/tmp/build-mingw64-toolchain-digit/install-x86_64-linux-gnu/x86_64-w64-mingw32 --target=x86_64-w64-mingw32 --enable-targets=all --enable-languages=c,c++ --with-sysroot=/tmp/build-mingw64-toolchain-digit/install-x86_64-linux-gnu/x86_64-w64-mingw32"; |
| static const char thread_model[] = "win32"; |
| |
| static const struct { |
| const char *name, *value; |
| } configure_default_options[] = { { "cpu_32", "generic" }, { "cpu_64", "generic" }, { "arch", "x86-64" } }; |