# HG changeset patch # User sheepluva # Date 1402150992 -7200 # Node ID 4b7aa967f1e7a3cf89ee7b69395813ed71e7e3c2 # Parent 649f1231cd70666a870046ba4e44d6e42be27fbb fix cabal build (on linux) diff -r 649f1231cd70 -r 4b7aa967f1e7 gameServer/hedgewars-server.cabal --- a/gameServer/hedgewars-server.cabal Sat Jun 07 16:21:21 2014 +0200 +++ b/gameServer/hedgewars-server.cabal Sat Jun 07 16:23:12 2014 +0200 @@ -35,4 +35,7 @@ entropy, zlib + if !os(windows) + build-depends: unix + ghc-options: -O2