gameServer/hedgewars-server.cabal
author nemo
Wed, 22 May 2013 22:46:49 -0400
changeset 9046 f8ea1b929b72
parent 7751 8c7f5c43ea5e
child 7975 1a8308265fdd
child 9065 236710128077
permissions -rw-r--r--
So when I first upsized these, I neglected to remove the pixelated version when generating. Corrected that to avoid sharp edges. Also aggressively optimised for smoothing. Also took advantage of SVG to drag dino bones to water level for mikade.

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