Commit d1e6eefb authored by Mart Lubbers's avatar Mart Lubbers

add profiling options to set

parent f2e3aea3
......@@ -45,6 +45,12 @@ from PmTypes import ::Pathname,::Output
| GenericFusionOff
| RTSFlagsOn
| RTSFlagsOff
| StackTraceOn
| StackTraceOff
| TimeProfileOn
| TimeProfileOff
| MemoryProfileOn
| MemoryProfileOff
| DescExLOn
| DescExLOff
| HeapSize !Int
......
......@@ -180,6 +180,18 @@ where
= PR_SetApplicationOptions {PR_GetApplicationOptions project & disable_rts_flags=True} project
set_project_option RTSFlagsOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & disable_rts_flags=False} project
set_project_option TimeProfileOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=False} project
set_project_option TimeProfileOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & profiling=True} project
set_project_option StackTraceOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & stack_traces=False} project
set_project_option StackTraceOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & stack_traces=True} project
set_project_option MemoryProfileOff project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & memoryProfiling=False} project
set_project_option MemoryProfileOn project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & memoryProfiling=True} project
set_project_option LinkerGenerateSymbolsOn project
= PR_SetLinkOptions project {PR_GetLinkOptions project & generate_symbol_table=True}
set_project_option LinkerGenerateSymbolsOff project
......@@ -212,6 +224,12 @@ doProjectAction _ _ _ _ world =
, " : -b,-nr,-nc,-sc"
, " : Set the output option to BasicValuesOnly, NoReturnType,"
, " : NoConsole or ShowConstructors respectively"
, " : -tst, -ntst"
, " : Enable or disable stack tracing"
, " : -pt, -npt"
, " : Enable or disable time profiling"
, " : -mp, -nmp"
, " : Enable or disable memory profiling"
] world
/**
......
......@@ -129,6 +129,24 @@ parse_Project_options ["-nrtsopts":project_option_args]
parse_Project_options ["-rtsopts":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [RTSFlagsOn:project_options]);
parse_Project_options ["-pt":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [TimeProfileOn:project_options]);
parse_Project_options ["-npt":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [TimeProfileOn:project_options]);
parse_Project_options ["-tst":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [StackTraceOn:project_options]);
parse_Project_options ["-ntst":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [StackTraceOff:project_options]);
parse_Project_options ["-mp":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [MemoryProfileOn:project_options]);
parse_Project_options ["-nmp":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [MemoryProfileOff:project_options]);
parse_Project_options []
= (True,[]);
parse_Project_options _
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment