kdevelop/plugins/ghcoptions
