cabal-version:       2.0
Name:                hgen
Version:             1.5.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

Flag static
  Description: Build a static binary
  Default:     False

Executable          hgen
  Main-is:             hgen.hs
  other-modules:       Params
                       Paths_hgen
  autogen-modules:
                       Paths_hgen
  hs-source-dirs:      src
  ghc-options:         -O2 -Wall -rtsopts
  Build-Depends:       base >= 4, base < 5,
                       random >= 1, random < 2,
                       mtl >= 2, mtl < 3,
                       hylolib >= 1.5,
                       cmdargs >= 0.10.14
  default-language:    Haskell2010
  default-extensions:  DeriveDataTypeable

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