Make -rtsopts more flexible

[ghc-hetmet.git] / includes / RtsOpts.h

diff --git a/includes/RtsOpts.h b/includes/RtsOpts.h
new file mode 100644 (file)
index 0000000..e81a41c
--- /dev/null
+++ b/includes/RtsOpts.h
@@ -0,0 +1,16 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team, 2010
+ *
+ * En/disable RTS options
+ *
+ * ---------------------------------------------------------------------------*/
+
+#ifndef RTSOPTS_H
+#define RTSOPTS_H
+
+typedef enum {rtsOptsNone, rtsOptsSafeOnly, rtsOptsAll} rtsOptsEnabledEnum;
+
+extern const rtsOptsEnabledEnum rtsOptsEnabled;
+
+#endif /* RTSOPTS_H */