hgen-1.4.0: hgen.cabal

Name:                hgen
Version:             1.4.0
Synopsis:            Random generation of modal and hybrid logic formulas
Description:         Random generation of modal and hybrid logic formulas
Category:            Theorem Provers
License:             GPL
License-file:        LICENSE
Author:              Carlos Areces and Juan Heguiabehere
Maintainer:          areces@loria.fr
Homepage:            http://www.glyc.dc.uba.ar/intohylo/hgen.php
Build-type:          Simple
Cabal-version:       >= 1.6

Flag static
  Description: Build a static binary
  Default:     False

Executable          hgen
  Main-is:             hgen.hs
  other-modules:       Params
  hs-source-dirs:      src
  ghc-options:         -Wall
  Build-Depends:       base >= 4, base < 5,
                       random >= 1, random < 2,
                       mtl >= 2, mtl < 3,
                       filepath >= 1, filepath < 2,
                       directory >= 1, directory < 2,
                       hylolib == 1.4.*

  if flag(static)
    ghc-options: -static -optl-static -optl-pthread