gameServer/hedgewars-server.cabal
author nemo
Sat, 01 Mar 2014 14:52:36 -0500
changeset 10171 00f41ff0bf2d
parent 10092 a92a4ba39a79
child 10257 649f1231cd70
permissions -rw-r--r--
Script might well override a static map, but can't risk it not doing it, and preview completely failing. Better to just not try it for static maps. Some script cfg might help. Could also avoid unnnecessary preview regenerations even if the script was doing nothing at all.

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,
    containers,
    vector,
    bytestring,
    bytestring-show,
    network >= 2.3,
    random,
    time,
    mtl >= 2,
    dataenc,
    hslogger,
    process,
    deepseq,
    utf8-string,
    SHA,
    entropy,
    zlib

  ghc-options: -O2