github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 05:11:44 +03:00
Code Issues Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/master' into api-changes

Browse Source
This commit is contained in:
joshvera 2016-08-22 11:20:18 -04:00
commit 60e555a083
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-diff.cabal
View File

@ -95,7 +95,10 @@ benchmark semantic-diff-bench
, recursion-schemes
, semantic-diff
, these
if os(darwin)
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j -O2 -static
else
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j -O2 -static -pgml=script/g++
default-language: Haskell2010
default-extensions: OverloadedStrings, NoImplicitPrelude