on master help sign in
Merge pull request #2952 from bgamari/master
80e707eNiklas Larsson
idris.cabal−1
@@ -1010,7 +1010,6 @@ Library
1010 , TemplateHaskell
1010 , TemplateHaskell
1011
1011
1012 ghc-prof-options: -auto-all -caf-all
1012 ghc-prof-options: -auto-all -caf-all
1013− ghc-options: -threaded -rtsopts
1014
1013
1015 if os(linux)
1014 if os(linux)
1016 cpp-options: -DLINUX
1015 cpp-options: -DLINUX