gubs.cabal

name:                gubs
version:             0.3.1.0
license:             MIT
license-file:        LICENSE
author:              Martin Avanzini
maintainer:          martin.avanzini@uibk.ac.at
category:            Logic
build-type:          Simple
cabal-version:       >=1.10

Flag Z3
  Description: Compile with Z3 native bindings.
  Default: False

library
  exposed-modules: GUBS.Algebra
                   GUBS.Term
                   GUBS.Constraint
                   GUBS.ConstraintSystem
                   GUBS.Polynomial
                   GUBS.MaxPolynomial
                   GUBS.Expression
                   GUBS.Interpretation
                   GUBS.Solve
                   GUBS.Solve.Strategy
                   GUBS.Solve.SMT
                   GUBS.Solve.SCC
                   GUBS.Solve.Simplify
                   GUBS.Solver
                   GUBS.Solver.Class
                   GUBS.Solver.Formula
                   GUBS.Solver.SMTLib
                   GUBS.Solver.SMTLib2.Pipe
                   GUBS.Solver.MiniSMT
                   GUBS.Utils
                   GUBS
  build-depends:       base,
                       containers,
                       smtlib2,
                       smtlib2-pipe,
                       smtlib2-debug,
                       mtl,
                       monad-trace,
                       transformers,
                       bytestring,
                       process,
                       temporary,
                       ansi-wl-pprint,
                       multiset,
                       time,
                       parsec,
                       stm,
                       typed-process
                       -- streaming-commons
  hs-source-dirs:      src
  default-language:    Haskell2010
  other-extensions:
  default-extensions:  StandaloneDeriving,
                       CPP,
                       DeriveFunctor,
                       DeriveFoldable,
                       DeriveTraversable,
                       GeneralizedNewtypeDeriving,
                       ConstraintKinds,
                       FlexibleContexts,
                       FlexibleInstances,
                       MultiParamTypeClasses,
                       RecordWildCards,
                       ViewPatterns,
                       PatternSynonyms,
                       PatternGuards,
                       TypeFamilies,
                       TupleSections,
                       GADTs

  ghc-options:    -threaded -Wall -fno-warn-orphans
  if flag(Z3)
    exposed-modules: GUBS.Solver.ZThree
    build-depends:   z3
    extra-libraries: z3
    cpp-options:     -DWithZ3

executable gubs
 hs-source-dirs: gubs
 ghc-options:    -threaded -Wall -fno-warn-orphans -O2
 default-language: Haskell2010
 main-is: Main.hs
 build-depends: gubs,
                base,
                mtl,
                containers,
                ansi-wl-pprint,
                cmdargs
 default-extensions: TypeOperators,
                     FlexibleContexts,
                     FlexibleInstances,
                     RecordWildCards,
                     DeriveDataTypeable,
                     StandaloneDeriving