diff options
| author | Miguel <m.i@gmx.at> | 2019-03-07 22:23:23 +0100 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2019-03-07 22:23:23 +0100 |
| commit | 7862aff2d4190f3f1211de385049b224bbd00c84 (patch) | |
| tree | 1e760ba3e54f313b452bc17d4a0628e4ed5c4219 /estatico.cabal | |
| parent | b74714630a07b05b696733bd533ad0d8569392e1 (diff) | |
change ghc-options and adapt executable name in Dockerfile
Diffstat (limited to 'estatico.cabal')
| -rw-r--r-- | estatico.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/estatico.cabal b/estatico.cabal index a65b47f..6c8f18b 100644 --- a/estatico.cabal +++ b/estatico.cabal @@ -42,7 +42,8 @@ executable estatico-exe Paths_estatico hs-source-dirs: app - ghc-options: -threaded -rtsopts -with-rtsopts=-N + --ghc-options: -threaded -rtsopts -with-rtsopts=-N + ghc-options: -O2 build-depends: base >=4.7 && <5 , estatico |
