/* config.h.in. Generated from configure.ac by autoheader. */
+/* Define to 1 if you have the `dl' library (-ldl). */
+#undef HAVE_LIBDL
+
/* Define to 1 if you have the `fesvr' library (-lfesvr). */
#undef HAVE_LIBFESVR
#undef SOFTFLOAT_ENABLED
/* Define if subproject MCPPBS_SPROJ_NORM is enabled */
-#undef SOFTFLOAT_RISCV_ENABLED
+#undef SPIKE_ENABLED
/* Define to 1 if you have the ANSI C header files. */
#undef STDC_HEADERS