Make -rtsopts more flexible

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

diff --git a/rts/RtsOpts.h b/includes/RtsOpts.h
similarity index 69%
rename from rts/RtsOpts.h
rename to includes/RtsOpts.h
index 381ee0e..e81a41c 100644 (file)
--- a/rts/RtsOpts.h
+++ b/includes/RtsOpts.h
@@ -9,6 +9,8 @@
 #ifndef RTSOPTS_H
 #define RTSOPTS_H
 
-extern const rtsBool rtsOptsEnabled;
+typedef enum {rtsOptsNone, rtsOptsSafeOnly, rtsOptsAll} rtsOptsEnabledEnum;
+
+extern const rtsOptsEnabledEnum rtsOptsEnabled;
 
 #endif /* RTSOPTS_H */