Name:                hyloutils
Version:             1.0
Synopsis:         Very small programs for hybrid logics
License:             GPL
License-file:        LICENSE
Author:              Daniel Gorin
Maintainer:          dgorin@dc.uba.ar
Build-Type:          Simple
Cabal-Version:       >= 1.6
Category:            Theorem Provers

Flag static
  Description: Build a static binary
  Default:     False

Executable   mcheck
  Main-is:             mcheck.hs
  build-depends:       base >= 4, base <5, mtl, containers,
                       uniplate,
                       hylolib == 1.4.*
  hs-source-dirs:      src
  ghc-options:         -O2 -Wall

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

Executable   rewriter
  Main-is:             rewriter.hs
  build-depends:       base >= 4, base <5, containers,
                       hylolib == 1.4.*
  hs-source-dirs:      src
  ghc-options:         -O2 -Wall

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