#ifndef _IL_CONFIG_OPTIONS

/* This file is automatically generated.  Do not edit */

#undef IL_CONFIG_REDUCE_CODE
#undef IL_CONFIG_REDUCE_DATA
#undef IL_CONFIG_USE_THIN_LOCKS
#define IL_CONFIG_DIRECT 1
#define IL_CONFIG_UNROLL 1
#define IL_CONFIG_JAVA 1
#define IL_CONFIG_GZIP 1
#undef IL_CONFIG_LATIN1
#define IL_CONFIG_CACHE_PAGE_SIZE (128 * 1024)
#define IL_CONFIG_STACK_SIZE 8192
#define IL_CONFIG_FRAME_STACK_SIZE 512
#define IL_CONFIG_GC_HEAP_SIZE 0
#define IL_CONFIG_PINVOKE 1
#define IL_CONFIG_REFLECTION 1
#define IL_CONFIG_RUNTIME_INFRA 1
#define IL_CONFIG_NETWORKING 1
#define IL_CONFIG_FP_SUPPORTED 1
#define IL_CONFIG_EXTENDED_NUMERICS 1
#define IL_CONFIG_NON_VECTOR_ARRAYS 1
#define IL_CONFIG_APPDOMAINS 1
#define IL_CONFIG_REMOTING 1
#define IL_CONFIG_VARARGS 1
#define IL_CONFIG_GROW_FRAMES 1
#define IL_CONFIG_FILTERED_EXCEPTIONS 1
#define IL_CONFIG_DEBUG_LINES 1
#define IL_CONFIG_FILESYSTEM 1

#endif /* _IL_CONFIG_OPTIONS */
