/* define to 1 to use the libcore */
#undef WITH_LIBCORE
+/* define to 1 to use the ILP solver */
+#undef WITH_ILP
+
+/* define to 1 to have wchar_t support for identifiers */
+#define FIRM_ENABLE_WCHAR
+
/* Define to disable assertion checking. */
#undef NDEBUG