----------------------------------------------------------------
-- wren gayle romano <wren@community.haskell.org>   ~ 2015.05.30
----------------------------------------------------------------

-- By and large Cabal >=1.2 is fine; but >= 1.6 gives tested-with:
-- and source-repository:.
Cabal-Version:  >= 1.6
Build-Type:     Simple

Name:           unification-fd
Version:        0.10.0.1
x-revision: 1
Stability:      experimental
Homepage:       http://code.haskell.org/~wren/
Author:         wren gayle romano
Maintainer:     wren@community.haskell.org
Copyright:      Copyright (c) 2007--2015 wren gayle romano
License:        BSD3
License-File:   LICENSE

Category:       Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Synopsis:       Simple generic unification algorithms.
Description:    Simple generic unification algorithms.

-- No longer compiles with GHC-6.12.1 since Data.Monoid does not
-- export (<>) in Control.Unification.Types. The backwards compatibility
-- is not considered worth adding CPP noise...
Tested-With:
    GHC == 7.6.1, GHC == 7.6.3, GHC == 7.8.2
Extra-source-files:
    AUTHORS, README, CHANGELOG
Source-Repository head
    Type:     darcs
    Location: http://community.haskell.org/~wren/unification-fd

----------------------------------------------------------------
Flag base4
    Default:     True
    Description: base-4.0 emits "Prelude deprecated" messages in
                 order to get people to be explicit about which
                 version of base they use.

Flag splitBase
    Default:     True
    Description: base-3.0 (GHC 6.8) broke out the packages: array,
                 bytestring, containers, directory, old-locale,
                 old-time, packedstring, pretty, process, random.

----------------------------------------------------------------
Library
    Hs-Source-Dirs:  src
    Exposed-Modules: Data.Functor.Fixedpoint
                   , Control.Monad.State.UnificationExtras
                   , Control.Monad.MaybeK
                   , Control.Monad.EitherK
                   , Control.Unification
                   , Control.Unification.Types
                   , Control.Unification.STVar
                   , Control.Unification.IntVar
                   , Control.Unification.Ranked
                   , Control.Unification.Ranked.STVar
                   , Control.Unification.Ranked.IntVar
    
    Build-Depends:   logict       >= 0.4
                   , logict <0.8
                   -- Require a version of base with Applicative.
                   -- We refuse to do without it any longer.
                   , base         >= 4.5
                   -- Require mtl-2 instead of monads-fd; because
                   -- otherwise we get a clash mixing logict with
                   -- StateT. And we want stuff from monads-fd, so
                   -- we can't just fail over to the older mtl.
                   , mtl          >= 2.0
    
    if flag(base4)
        Build-Depends: base >= 4 && < 5
    else
        Build-Depends: base < 4
    
    if flag(splitBase)
        Build-depends: base >= 3.0, containers
    else
        Build-depends: base < 3.0

----------------------------------------------------------------
----------------------------------------------------------- fin.