From da6ac258d7d8a8b0e03423833cdc78c57d3d39f4 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 22 Jul 2007 17:00:42 +0000 Subject: [PATCH] Add a +RTS --info flag print various info; partially fixes trac #1517 --- rts/Makefile | 5 +++++ rts/RtsFlags.c | 10 ++++++++++ 2 files changed, 15 insertions(+) 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; -- 1.7.10.4