blob: a948b94c9f9ddddc266a771e8fd732850770c321 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
module Options.Plugin where
import Types
pluginOptions :: [Flag]
pluginOptions =
[ flag { flagName = "-fplugin=⟨module⟩"
, flagDescription = "Load a plugin exported by a given module"
, flagType = DynamicFlag
}
, flag { flagName = "-fplugin-opt=⟨module⟩:⟨args⟩"
, flagDescription =
"Give arguments to a plugin module; module must be specified with "++
"``-fplugin``"
, flagType = DynamicFlag
}
]
|