Name:            DrHylo
Version:         0.0.1
License:         BSD3
License-file:    LICENSE
Author:          Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>
Maintainer:      Hugo Pacheco <hpacheco@di.uminho.pt>
Synopsis:        A tool for deriving hylomorphisms
Description:
	DrHylo is a tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper Deriving Structural Hylomorphisms From Recursive Definitions at ICFP'96 by Hu, Iwasaki, and Takeichi.
	The generated code can be run with Pointless Haskell (<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pointless-haskell>), allowing the visualization of the recursion trees of Haskell functions.
Homepage:        http://haskell.di.uminho.pt/wiki/DrHylo

Category: Language

extra-source-files: README, Sample.hs
Data-files: 

Build-type: Simple
Cabal-Version:  >=1.2

Flag splitBase
  Description:          Choose the new smaller, split-up base package.

Library
  Hs-Source-Dirs: lib
  Build-Depends:        base >= 4, pointless-haskell, mtl, haskell-src-exts >= 0.4.4, syb
  exposed-modules:
       Language.Pointwise.Matching,
       Language.Pointwise.Parser,
       Language.Pointwise.Pretty,
       Language.Pointwise.Syntax,
       Language.Pointfree.Parser,
       Language.Pointfree.Pretty,
       Language.Pointfree.Syntax
  extensions: DeriveDataTypeable

Executable    DrHylo
  Main-is: DrHylo.hs
  Hs-Source-Dirs: src, lib
  Build-Depends:        containers
  if flag(splitBase)
    Build-Depends:      base >= 3, array >= 0.1, pretty >= 1.0
  else
    Build-Depends:      base < 3
  other-modules:
       DrHylo,
       FunctorOf,
       Hylos,
       Matching,
       PwPf
  other-modules:

  extensions: DeriveDataTypeable