Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Commits
f2e3aea3
Commit
f2e3aea3
authored
Jun 18, 2018
by
Mart Lubbers
Browse files
Add a project option to set RTS options
parent
83561740
Changes
3
Hide whitespace changes
Inline
Side-by-side
cpm/AbsSyn.dcl
View file @
f2e3aea3
...
...
@@ -43,6 +43,8 @@ from PmTypes import ::Pathname,::Output
|
DynamicsOff
|
GenericFusionOn
|
GenericFusionOff
|
RTSFlagsOn
|
RTSFlagsOff
|
DescExLOn
|
DescExLOff
|
HeapSize
!
Int
...
...
cpm/CpmLogic.icl
View file @
f2e3aea3
...
...
@@ -176,6 +176,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
RTSFlagsOff
project
=
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
LinkerGenerateSymbolsOn
project
=
PR_SetLinkOptions
project
{
PR_GetLinkOptions
project
&
generate_symbol_table
=
True
}
set_project_option
LinkerGenerateSymbolsOff
project
...
...
@@ -203,6 +207,8 @@ doProjectAction _ _ _ _ world =
,
" : -descexl,-descexl"
,
" : Enable or disable descriptor generation and label exporting"
,
" : This translates to passing -desc and -exl to cocl"
,
" : -rtsopts,-nrtsopts"
,
" : Enable or disable the default rts arguments (-h, -s, etc.)"
,
" : -b,-nr,-nc,-sc"
,
" : Set the output option to BasicValuesOnly, NoReturnType,"
,
" : NoConsole or ShowConstructors respectively"
...
...
cpm/Parser.icl
View file @
f2e3aea3
...
...
@@ -123,6 +123,12 @@ parse_Project_options ["-nstrip":project_option_args]
parse_Project_options
[
"-strip"
:
project_option_args
]
#
(
ok
,
project_options
)
=
parse_Project_options
project_option_args
;
=
(
ok
,
[
LinkerGenerateSymbolsOff
:
project_options
]);
parse_Project_options
[
"-nrtsopts"
:
project_option_args
]
#
(
ok
,
project_options
)
=
parse_Project_options
project_option_args
;
=
(
ok
,
[
RTSFlagsOff
:
project_options
]);
parse_Project_options
[
"-rtsopts"
:
project_option_args
]
#
(
ok
,
project_options
)
=
parse_Project_options
project_option_args
;
=
(
ok
,
[
RTSFlagsOn
:
project_options
]);
parse_Project_options
[]
=
(
True
,[]);
parse_Project_options
_
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment