/* Generated automatically. */
static const char configuration_arguments[] = "../src/configure --prefix=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/ --with-mpfr-include=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/include/ --with-mpfr-lib=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/lib/ --with-gmp-include=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/include/ --with-gmp-lib=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/lib/ --with-mpc-include=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/include/ --with-mpc-lib=/srv/calibration_data/maus/MAUS-v3.3.0/third_party/install/lib/ --disable-multilib";
static const char thread_model[] = "posix";

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