joshua/ons-hs
1
Fork 0
mirror of https://github.com/Jaxan/ons-hs.git synced 2025-04-27 14:47:45 +02:00
Code Issues Releases Activity

simpler flags

Browse source
This commit is contained in:
Joshua Moerman 2019-01-22 14:06:42 +01:00
parent df645433d3
commit c296090655
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
ons-hs.cabal
View file

@ -38,7 +38,7 @@ executable ons-hs-solver
main-is: FoSolver.hs
build-depends: base
, ons-hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2
ghc-options: -O2
default-language: Haskell2010
executable ons-hs-lstar
@ -49,7 +49,7 @@ executable ons-hs-lstar
, ons-hs
other-modules: ExampleAutomata
, IO
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2
ghc-options: -O2
default-language: Haskell2010
executable ons-hs-minimise
@ -60,7 +60,7 @@ executable ons-hs-minimise
, ons-hs
other-modules: ExampleAutomata
, IO
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2
ghc-options: -O2
default-language: Haskell2010
benchmark ons-hs-bench
@ -71,7 +71,7 @@ benchmark ons-hs-bench
, criterion
, deepseq
, ons-hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2
ghc-options: -O2
default-language: Haskell2010
test-suite ons-hs-test
@ -80,7 +80,6 @@ test-suite ons-hs-test
main-is: Spec.hs
build-depends: base
, ons-hs
ghc-options: -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010
source-repository head