bindings-yices-0.2: bindings-yices.cabal

-- bindings-yices.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
-- The name of the package.
Name:                bindings-yices

-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version:             0.2

-- A short (one-line) description of the package.
Synopsis:            Bindings to the Yices theorem prover

-- A longer description of the package.
-- Description:         

-- The license under which the package is released.
License:             PublicDomain

-- The package author(s).
Author:              Jose Iborra

-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer:          pepeiborra@gmail.com

-- A copyright notice.
-- Copyright:           

-- Stability of the pakcage (experimental, provisional, stable...)
Stability:           Experimental

Category:            Foreign, FFI, Theorem Provers

Build-type:          Simple

-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:  

-- Constraint on the version of Cabal needed to build this package.
Cabal-version:       >=1.2

Flag yices-dynamic
  default: True

Library
  -- Modules exported by the library.
  Exposed-modules:     Bindings.Yices,
                       Bindings.Yices.Internal

  -- Packages needed in order to build this package.
  Build-depends:       base > 3 && < 5
  
  -- Modules not exported by this package.
  -- Other-modules:       
  
  -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
  Build-tools:         hsc2hs

  extensions:          ForeignFunctionInterface
  includes:            yices_c.h

  ghc-prof-options: -auto

  extra-libraries:     yices
  if flag(yices-dynamic)
    extra-libraries:   gmp