gameServer/hedgewars-server.cabal
author Xeli
Wed, 22 Jun 2011 13:25:53 +0200
branchhedgeroid
changeset 5293 8634c7f09372
parent 5086 df5bd3c32e19
child 6191 190a8e5d9956
permissions -rw-r--r--
Make file to build the hwengine as Library for Android, it also uses PushToDevice to update the library on the device without the need of reinstalling the apk

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

  ghc-options: -O2