Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[#211] Avoid warning on case-insensitive systems
Problem: There is currently some problem in stack or cabal that produces a warning when building this project on case-insensitive systems. Solution: The current workaroud for it is to add the GHC option '-optP-Wno-nonportable-include-path'.
- Loading branch information