gameServer/hedgewars-server.cabal
changeset 3671 a94d1dc4a8d9
child 4597 31e042ab870c
equal deleted inserted replaced
3669:19be65b12c43 3671:a94d1dc4a8d9
       
     1 Name:                hedgewars-server
       
     2 Version:             0.1
       
     3 Synopsis:            hedgewars server
       
     4 Description:         hedgewars server
       
     5 Homepage:            http://www.hedgewars.org/
       
     6 License:             GPL-2
       
     7 Author:              unC0Rr
       
     8 Maintainer:          unC0Rr@hedgewars.org
       
     9 Category:            Game
       
    10 Build-type:          Simple
       
    11 Cabal-version:       >=1.2
       
    12 
       
    13 
       
    14 Executable hedgewars-server
       
    15   main-is: hedgewars-server.hs
       
    16 
       
    17   Build-depends:
       
    18     base >= 4,
       
    19     unix,
       
    20     containers,
       
    21     array,
       
    22     bytestring,
       
    23     network-bytestring,
       
    24     network,
       
    25     time,
       
    26     stm,
       
    27     mtl,
       
    28     dataenc,
       
    29     hslogger,
       
    30     process
       
    31   
       
    32   ghc-options: -O2