Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Alex D
GHC
Commits
fd302e93
Commit
fd302e93
authored
Oct 07, 2020
by
Krzysztof Gogolewski
Committed by
Marge Bot
Oct 09, 2020
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Add -pgmlm and -optlm flags
!3798 added documentation and semantics for the flags, but not parsing.
parent
ef950b19
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
0 deletions
+4
-0
compiler/GHC/Driver/Session.hs
compiler/GHC/Driver/Session.hs
+4
-0
No files found.
compiler/GHC/Driver/Session.hs
View file @
fd302e93
...
...
@@ -2217,6 +2217,8 @@ dynamic_flags_deps = [
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_pgm_lo
=
(
f
,
[]
)
}
,
make_ord_flag
defFlag
"pgmlc"
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_pgm_lc
=
(
f
,
[]
)
}
,
make_ord_flag
defFlag
"pgmlm"
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_pgm_lm
=
(
f
,
[]
)
}
,
make_ord_flag
defFlag
"pgmi"
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_pgm_i
=
f
}
,
make_ord_flag
defFlag
"pgmL"
...
...
@@ -2257,6 +2259,8 @@ dynamic_flags_deps = [
-- need to appear before -optl/-opta to be parsed as LLVM flags.
,
make_ord_flag
defFlag
"optlm"
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_opt_lm
=
f
:
toolSettings_opt_lm
s
}
,
make_ord_flag
defFlag
"optlo"
$
hasArg
$
\
f
->
alterToolSettings
$
\
s
->
s
{
toolSettings_opt_lo
=
f
:
toolSettings_opt_lo
s
}
,
make_ord_flag
defFlag
"optlc"
...
...
Write
Preview
Markdown
is supported
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