Add a +RTS --info flag print various info; partially fixes trac #1517

diff --git a/rts/Makefile b/rts/Makefile
index 2c5dcc4..9ab9652 100644 (file)
--- a/rts/Makefile
+++ b/rts/Makefile
@@ -127,6 +127,11 @@ endif
 # SRC_HC_OPTS += -fPIC
 
 RtsMessages_CC_OPTS += -DProjectVersion=\"$(ProjectVersion)\"
+RtsFlags_CC_OPTS += -DProjectVersion=\"$(ProjectVersion)\"
+RtsFlags_CC_OPTS += -DRtsWay=\"rts$(_way)\"
+RtsFlags_CC_OPTS += -DHostPlatform=\"$(HOSTPLATFORM)\"
+RtsFlags_CC_OPTS += -DBuildPlatform=\"$(BUILDPLATFORM)\"
+RtsFlags_CC_OPTS += -DTargetPlatform=\"$(TARGETPLATFORM)\"
 
 ifeq "$(way)" "mp"
 SRC_HC_OPTS += -I$$PVM_ROOT/include

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 639a915..1e8654d 100644 (file)
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -682,6 +682,16 @@ error = rtsTrue;
                                &rts_argv[arg][2])) {
                       RtsFlags.MiscFlags.install_signal_handlers = rtsFalse;
                   }
+                  else if (strequal("info",
+                               &rts_argv[arg][2])) {
+                      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");
+                      exit(0);
+                  }
                   else {
                      errorBelch("unknown RTS option: %s",rts_argv[arg]);
                      error = rtsTrue;