mirror of
https://github.com/github/semantic.git
synced 2024-12-24 07:25:44 +03:00
Merge branch 'master' into 08-22-weekly
This commit is contained in:
commit
8c6fe30a08
@ -94,7 +94,10 @@ benchmark semantic-diff-bench
|
|||||||
, recursion-schemes
|
, recursion-schemes
|
||||||
, semantic-diff
|
, semantic-diff
|
||||||
, these
|
, these
|
||||||
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j -O2 -static
|
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-language: Haskell2010
|
||||||
default-extensions: OverloadedStrings, NoImplicitPrelude
|
default-extensions: OverloadedStrings, NoImplicitPrelude
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user