/* -----------------------------------------------------------------------------
- * $Id: RtsFlags.c,v 1.49 2001/08/14 13:40:09 sewardj Exp $
+ * $Id: RtsFlags.c,v 1.51 2001/10/01 11:36:28 simonmar Exp $
*
* (c) The AQUA Project, Glasgow University, 1994-1997
* (c) The GHC Team, 1998-1999
return(strcmp(a, b) == 0);
}
+static void
+splitRtsFlags(char *s, int *rts_argc, char *rts_argv[])
+{
+ char *c1, *c2;
+
+ c1 = s;
+ do {
+ while (isspace(*c1)) { c1++; };
+ c2 = c1;
+ while (!isspace(*c2) && *c2 != '\0') { c2++; };
+
+ if (c1 == c2) { break; }
+
+ if (*rts_argc < MAX_RTS_ARGS-1) {
+ s = malloc(c2-c1+1);
+ strncpy(s, c1, c2-c1);
+ s[c2-c1] = '\0';
+ rts_argv[(*rts_argc)++] = s;
+ } else {
+ barf("too many RTS arguments (max %d)", MAX_RTS_ARGS-1);
+ }
+
+ c1 = c2;
+ } while (*c1 != '\0');
+}
+
void
setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[])
{
*argc = 1;
*rts_argc = 0;
+ // process arguments from the ghc_rts_opts global variable first.
+ // (arguments from the GHCRTS environment variable and the command
+ // line override these).
+ {
+ if (ghc_rts_opts != NULL) {
+ splitRtsFlags(ghc_rts_opts, rts_argc, rts_argv);
+ }
+ }
+
// process arguments from the GHCRTS environment variable first
// (arguments from the command line override these).
{
char *ghc_rts = getenv("GHCRTS");
- char *c1, *c2, *s;
if (ghc_rts != NULL) {
- c1 = ghc_rts;
- do {
- while (isspace(*c1)) { c1++; };
- c2 = c1;
- while (!isspace(*c2) && *c2 != '\0') { c2++; };
-
- if (c1 == c2) { break; }
-
- if (*rts_argc < MAX_RTS_ARGS-1) {
- s = malloc(c2-c1+1);
- strncpy(s, c1, c2-c1);
- s[c2-c1] = '\0';
- rts_argv[(*rts_argc)++] = s;
- } else {
- barf("too many RTS arguments (max %d)", MAX_RTS_ARGS-1);
- }
-
- c1 = c2;
- } while (*c1 != '\0');
+ splitRtsFlags(ghc_rts, rts_argc, rts_argv);
}
}
case 9: RtsFlags.DebugFlags.prof = rtsTrue; break;
case 10: RtsFlags.DebugFlags.gran = rtsTrue; break;
case 11: RtsFlags.DebugFlags.par = rtsTrue; break;
+ case 12: RtsFlags.DebugFlags.linker = rtsTrue; break;
default: barf("set_debug_options: only %d debug options expected",
MAX_DEBUG_OPTION);
} /* switch */