Skip to content

Include cabal's otherExtensions & oldExtensions for libraries#26

Open
mohsen3 wants to merge 1 commit into
rubik:masterfrom
mohsen3:master
Open

Include cabal's otherExtensions & oldExtensions for libraries#26
mohsen3 wants to merge 1 commit into
rubik:masterfrom
mohsen3:master

Conversation

@mohsen3

@mohsen3 mohsen3 commented Feb 19, 2016

Copy link
Copy Markdown
  • In addition to defaultExtensions, consider otherExtensions and oldExtensions from the library build info.
  • Does not consider executable extensions yet!

@rubik

rubik commented Feb 20, 2016

Copy link
Copy Markdown
Owner

Thanks for the PR. I'd like to have a test for this one, would you mind posting the bit of configuration from your project that causes Cabal to use otherExtensions and oldExtensions?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants