diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-07 17:18:21 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-09 08:54:02 -0400 |
| commit | fd302e938ebf48c73d9f715d67ce8cd990f972ff (patch) | |
| tree | 88571c423a9056fb50c365f991dacb393fe5a89f | |
| parent | ef950b19c04bc9c41920ecc9f94382653981d4bb (diff) | |
| download | haskell-fd302e938ebf48c73d9f715d67ce8cd990f972ff.tar.gz | |
Add -pgmlm and -optlm flags
!3798 added documentation and semantics for the flags,
but not parsing.
| -rw-r--r-- | compiler/GHC/Driver/Session.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 35ac07fc80..86ce510451 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -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" |