Idris should do this, you can see the code here . In short, read what you can get from the entry . transmitted to each hook when used .configConfigurationsFlags ConfigFlagsConfigFlagsLocalBuildInfoLocalBuildInfodefaultMainWithHooks
NB This information is only flags passed for configuration, so any of them that are not specified will not be present, and will not have default values. I think this is a mistake, but it has not been fixed since January 2016.
2016. Cabal-1.24 flagAssignment LocalBuildInfo, , .