From: Ian Lynagh <igloo@earth.li>
Date: Sun, 22 Jul 2007 17:00:42 +0000 (+0000)
Subject: Add a +RTS --info flag print various info; partially fixes trac #1517
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=da6ac258d7d8a8b0e03423833cdc78c57d3d39f4

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

diff --git a/rts/Makefile b/rts/Makefile
index 2c5dcc4..9ab9652 100644
--- 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
--- 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;