Add a --supported-languages flag

[ghc-hetmet.git] / rts / RtsFlags.c

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index a2d699d..4c1f739 100644 (file)
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -203,8 +203,8 @@ void initRtsFlagsDefaults(void)
     RtsFlags.ProfFlags.bioSelector        = NULL;
 #endif
 
-    RtsFlags.MiscFlags.tickInterval    = 50;  /* In milliseconds */
-    RtsFlags.ConcFlags.ctxtSwitchTime  = 50;  /* In milliseconds */
+    RtsFlags.MiscFlags.tickInterval    = 20;  /* In milliseconds */
+    RtsFlags.ConcFlags.ctxtSwitchTime  = 20;  /* In milliseconds */
 
     RtsFlags.MiscFlags.install_signal_handlers = rtsTrue;
 
@@ -682,6 +682,22 @@ error = rtsTrue;
                                &rts_argv[arg][2])) {
                       RtsFlags.MiscFlags.install_signal_handlers = rtsFalse;
                   }
+                  else if (strequal("info",
+                               &rts_argv[arg][2])) {
+                      char *s;
+                      printf("RTS info:\n");
+                      printf("RTS from GHC " ProjectVersion "\n");
+                      printf("RTS way " RtsWay "\n");
+                      printf("Host platform " HostPlatform "\n");
+                      printf("Build platform " BuildPlatform "\n");
+                      printf("Target platform " TargetPlatform "\n");
+                      s = strcmp(GhcUnregisterised, "YES") == 0 ? "un" : "";
+                      printf("Compiler is %sregisterised\n", s);
+                      s = strcmp(GhcEnableTablesNextToCode, "YES") == 0
+                        ? "" : "not ";
+                      printf("Tables are %snext to code\n", s);
+                      exit(0);
+                  }
                   else {
                      errorBelch("unknown RTS option: %s",rts_argv[arg]);
                      error = rtsTrue;