Commit d821782c authored by John van Groningen's avatar John van Groningen

add project options for generating the symbol table or not (strip) with -strip or -nstrip

parent 2b4c50a5
......@@ -47,6 +47,8 @@ from PmTypes import :: Output
| HeapSize !Int
| StackSize !Int
| Output !Output
| LinkerGenerateSymbolsOn
| LinkerGenerateSymbolsOff
:: ModuleAction
= CreateModule ModuleType
......
......@@ -165,6 +165,10 @@ where
= PR_SetApplicationOptions {PR_GetApplicationOptions project & ss = ss} project
set_project_option (Output output) project
= PR_SetApplicationOptions {PR_GetApplicationOptions project & o = output} project
set_project_option LinkerGenerateSymbolsOn project
= PR_SetLinkOptions project {PR_GetLinkOptions project & generate_symbol_table=True}
set_project_option LinkerGenerateSymbolsOff project
= PR_SetLinkOptions project {PR_GetLinkOptions project & generate_symbol_table=False}
doProjectAction _ _ _ _ world =
help "cpm project <projectfile> <action>"
......
......@@ -114,6 +114,12 @@ parse_Project_options ["-nr":project_option_args]
parse_Project_options ["-nc":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [Output NoConsole:project_options]);
parse_Project_options ["-nstrip":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [LinkerGenerateSymbolsOn:project_options]);
parse_Project_options ["-strip":project_option_args]
# (ok,project_options) = parse_Project_options project_option_args;
= (ok, [LinkerGenerateSymbolsOff: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