gameServer/hedgewars-server.cabal
author nemo
Sun, 03 Jun 2012 23:04:21 -0400
changeset 7174 80480d21e6ed
parent 6191 190a8e5d9956
child 7751 8c7f5c43ea5e
permissions -rw-r--r--
Workaround for bug #144. This workaround had occurred to me a while ago, but wasn't sure if placing them unfairly was better than not placing them at all. Argument for not placing at all is people should probably abort the game when they notice it. Argument for placing unfairly is people can still abort, and if we really wanted them to abort, we should probably just have halted launch if all hogs failed to spawn. This way at least play can continue.

Name:                hedgewars-server
Version:             0.1
Synopsis:            hedgewars server
Description:         hedgewars server
Homepage:            http://www.hedgewars.org/
License:             GPL-2
Author:              unC0Rr
Maintainer:          unC0Rr@hedgewars.org
Category:            Game
Build-type:          Simple
Cabal-version:       >=1.2


Executable hedgewars-server
  main-is: hedgewars-server.hs

  Build-depends:
    base >= 4.3,
    unix,
    containers,
    array,
    bytestring,
    bytestring-show,
    network >= 2.3,
    time,
    mtl >= 2,
    dataenc,
    hslogger,
    process,
    deepseq,
    utf8-string

  ghc-options: -O2