name:                clingo
version:             0.2.0.0
synopsis:            Haskell bindings to the Clingo ASP solver
description:         Please see README.md
homepage:            https://github.com/tsahyt/clingo-haskell#readme
license:             MIT
license-file:        LICENSE
author:              Paul Ogris
maintainer:          paul@tsahyt.com
copyright:           2017 Paul Ogris
category:            ASP, Symbolic Computation, Logic Programming, FFI
build-type:          Simple
cabal-version:       >=1.10

flag examples
  description:       Build examples
  default:           False

library
  hs-source-dirs:      src
  exposed-modules:     Clingo
                       Clingo.AST
                       Clingo.Configuration
                       Clingo.Control
                       Clingo.Inspection.Symbolic
                       Clingo.Inspection.Theory
                       Clingo.Inspection.Ground
                       Clingo.Model
                       Clingo.ProgramBuilding
                       Clingo.Propagation
                       Clingo.Solving
                       Clingo.Statistics
                       Clingo.Symbol
                       Clingo.Internal.AST
                       Clingo.Internal.Configuration
                       Clingo.Internal.Inspection.Symbolic
                       Clingo.Internal.Inspection.Theory
                       Clingo.Internal.Propagation
                       Clingo.Internal.Statistics
                       Clingo.Internal.Symbol
                       Clingo.Internal.Types
                       Clingo.Internal.Utils
                       Clingo.Raw
                       Clingo.Raw.AST
                       Clingo.Raw.Basic
                       Clingo.Raw.Configuration
                       Clingo.Raw.Control
                       Clingo.Raw.Enums
                       Clingo.Raw.Inspection.Symbolic
                       Clingo.Raw.Inspection.Theory
                       Clingo.Raw.Model
                       Clingo.Raw.ProgramBuilding
                       Clingo.Raw.Propagation
                       Clingo.Raw.Solving
                       Clingo.Raw.Statistics
                       Clingo.Raw.Symbol
                       Clingo.Raw.Types
  build-depends:       base >= 4.7 && < 5,
                       bifunctors >= 5.4 && < 6,
                       transformers == 0.5.*,
                       mtl == 2.2.*,
                       exceptions == 0.8.*,
                       text == 1.2.*,
                       wl-pprint-text,
                       deepseq == 1.4.*,
                       StateVar == 1.1.*,
                       hashable == 1.2.*
  extra-libraries:     clingo
  ghc-options:         -Wall
  default-language:    Haskell2010

executable version
  if flag(examples)
      build-depends:   base, clingo
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Version.hs
  default-language:    Haskell2010

executable dot-propagator
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             DotPropagator.hs
  default-language:    Haskell2010

executable control
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Control.hs
  default-language:    Haskell2010

executable configuration
  if flag(examples)
      build-depends:   base, clingo, text, StateVar
  else 
      buildable:       False

  hs-source-dirs:      examples
  ghc-options:         -Wall
  main-is:             Configuration.hs
  default-language:    Haskell2010

executable theory-atoms
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             TheoryAtoms.hs
  default-language:    Haskell2010

executable symbolic-atoms
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             SymbolicAtoms.hs
  default-language:    Haskell2010

executable ast
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             AST.hs
  default-language:    Haskell2010

executable backend
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Backend.hs
  default-language:    Haskell2010

executable model
  if flag(examples)
      build-depends:   base, clingo, text
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Model.hs
  default-language:    Haskell2010

executable solve-async
  if flag(examples)
      build-depends:   base, clingo, text, monad-loops, MonadRandom
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             SolveAsync.hs
  ghc-options:         -threaded
  default-language:    Haskell2010

executable statistics
  if flag(examples)
      build-depends:   base, clingo, text, wl-pprint-text, StateVar
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Statistics.hs
  default-language:    Haskell2010

executable propagator
  if flag(examples)
      build-depends:   base, clingo, text, containers, transformers
  else 
      buildable:       False

  hs-source-dirs:      examples
  main-is:             Propagator.hs
  default-language:    Haskell2010


source-repository head
  type:     git
  location: https://github.com/tsahyt/clingo-haskell