/* Generated automatically. */
static const char configuration_arguments[] = "/home/user/sdk2-tmp/build/gcc/configure CC= CXX= --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu --prefix=/home/user/sdk2-tmp/madsdk --with-gmp=/home/user/sdk2-tmp/madsdk --with-mpfr=/home/user/sdk2-tmp/madsdk --with-mpc=/home/user/sdk2-tmp/madsdk --enable-languages=c,c++,fortran --disable-multilib --disable-nls --enable-clocale=generic";
static const char thread_model[] = "posix";

static const struct {
  const char *name, *value;
} configure_default_options[] = { { "cpu", "generic" }, { "arch", "x86-64" } };
