gameServer/hedgewars-server.cabal
author sheepluva
Sun, 28 Oct 2012 20:35:08 +0100 (2012-10-28)
changeset 7860 a90936219ffa
parent 7751 8c7f5c43ea5e
child 7975 1a8308265fdd
child 9065 236710128077
permissions -rw-r--r--
let animation objects delete themselves after they are not being used anymore PS: I don't like that we create new animation objects every single time before a page transition is done, I'm sure that can be done in a nicer way. But at least we're not keeping those non-reused objects around forever now...
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,
    vector,
    bytestring,
    bytestring-show,
    network >= 2.3,
    time,
    mtl >= 2,
    dataenc,
    hslogger,
    process,
    deepseq,
    utf8-string

  ghc-options: -O2