Skip to content
GitLab
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
c3944bfd
Commit
c3944bfd
authored
Dec 13, 2017
by
John van Groningen
Browse files
add compiler flags for pco_desc_exl and pco_dynamics
parent
e105f6e8
Changes
1
Hide whitespace changes
Inline
Side-by-side
Unix/PmCleanSystem.icl
View file @
c3944bfd
...
...
@@ -781,9 +781,9 @@ concat_args [arg] = arg
concat_args
[
arg
:
args
]
=
arg
+++
" "
+++
concat_args
args
makeCompilerOptionsArguments
::
!
CompileOrCheckSyntax
!
Bool
!
ProjectCompilerOptions
!
CompilerOptions
->
[
String
]
makeCompilerOptionsArguments
compileOrCheckSyntax
write_module_times
{
pco_memory_profiling
,
pco_time_profiling
,
pco_link_dynamic
}
makeCompilerOptionsArguments
compileOrCheckSyntax
write_module_times
{
pco_memory_profiling
,
pco_time_profiling
,
pco_
desc_exl
,
pco_dynamics
,
pco_
link_dynamic
}
{
neverMemoryProfile
,
neverTimeProfile
,
sa
,
gw
,
gc
,
listTypes
,
attr
,
reuseUniqueNodes
,
fusion
}
=
write_module_times_arg
++
checksyntax
++
timeProfileSwitch
++
memoryProfileSwitch
++
dynamic
Link
Switch
=
write_module_times_arg
++
checksyntax
++
timeProfileSwitch
++
memoryProfileSwitch
++
descExlSwitch
++
dynamic
s
Switch
++
strictness
++
warnings
++
comments
++
listtypes
++
show_attr
++
reuse
++
fusion_arg
where
write_module_times_arg
...
...
@@ -791,18 +791,15 @@ where
=
[
"-wmt"
]
=
[]
memoryProfileSwitch
|
(
not
neverMemoryProfile
&&
pco_memory_profiling
)
||
pco_link_dynamic
|
(
not
neverMemoryProfile
&&
pco_memory_profiling
)
||
pco_desc_exl
||
pco_link_dynamic
=
[
"-desc"
]
=
[]
timeProfileSwitch
|
not
neverTimeProfile
&&
pco_time_profiling
=
[
"-pt"
]
=
[]
dynamicLinkSwitch
|
pco_link_dynamic
=
[
"-exl"
,
"-dynamics"
]
=
[]
descExlSwitch
=
if
(
pco_desc_exl
||
pco_link_dynamic
)
[
"-exl"
]
[]
dynamicsSwitch
=
if
(
pco_dynamics
||
pco_link_dynamic
)
[
"-dynamics"
]
[]
strictness
|
sa
=
[]
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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