gameServer/hedgewars-server.cabal
changeset 10258 4b7aa967f1e7
parent 10257 649f1231cd70
child 10765 7e55468ffe38
equal deleted inserted replaced
10257:649f1231cd70 10258:4b7aa967f1e7
    33     utf8-string,
    33     utf8-string,
    34     SHA,
    34     SHA,
    35     entropy,
    35     entropy,
    36     zlib
    36     zlib
    37 
    37 
       
    38   if !os(windows)
       
    39     build-depends: unix
       
    40 
    38   ghc-options: -O2
    41   ghc-options: -O2