/* Define to 1 if you have the <inttypes.h> header file. */
#undef HAVE_INTTYPES_H
+/* Define to 1 if you have the <jni.h> header file. */
+#undef HAVE_JNI_H
+
/* Define to 1 if you have the `pthread' library (-lpthread). */
#undef HAVE_LIBPTHREAD
/* Indicates whether we should use GTNetS or not */
#undef USE_GTNETS
-/* Indicates whether we should use SimIX or not */
-#undef USE_SIMIX
-
/* Version number of package */
#undef VERSION