Name:                hgen
Version:             1.2.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.2

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 >= 1, mtl < 2,
                       filepath >= 1, filepath < 2,
                       directory >= 1, directory < 2,
                       hylolib >= 1.3, hylolib < 1.4

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