-- Initial cudd.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/
name:                cudd
version:             0.1.0.0
synopsis:            Bindings to the CUDD binary decision diagrams library
description:         Bindings to the CUDD binary decision diagrams library. 
                     .
                     <http://vlsi.colorado.edu/~fabio/CUDD/>
license:             BSD3
license-file:        LICENSE
author:              Adam Walker
maintainer:          adamwalker10@gmail.com
copyright:           2014 Adam Walker
category:            Data
homepage:            https://github.com/adamwalker/haskell_cudd
bug-reports:         https://github.com/adamwalker/haskell_cudd/issues
build-type:          Simple
-- extra-source-files:  
cabal-version:       >=1.10


library
  exposed-modules:     Cudd.File, Cudd.Convert, Cudd.Reorder, Cudd.MTR, Cudd.Hook, Cudd.Common, Cudd.C, Cudd.Cudd, Cudd.GC, Cudd.Imperative
  other-modules:       Cudd.ForeignHelpers
  other-extensions:    ForeignFunctionInterface, CPP, FlexibleContexts, RankNTypes, EmptyDataDecls
  build-depends:       base >=4.6 && <4.8, mtl >=2.1 && <2.3, array >=0.4 && <0.6, transformers >=0.3 && <0.5
  -- hs-source-dirs:      
  build-tools:         c2hs, hsc2hs
  default-language:    Haskell2010
  include-dirs:        .
  c-sources:           c_sources/cuddwrap.c, c_sources/stubs.c
  extra-libraries:     cudd, mtr, st, util, epd, dddmp, m