blob: 1ae7d6e53695fa06d830c19d6622599e9ceeeda5 (
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
}
]
|
