name:                picologic
version:             0.3.0
synopsis:            Utilities for symbolic predicate logic expressions
homepage:            https://github.com/sdiehl/picologic
license:             MIT
license-file:        LICENSE
author:              Stephen Diehl
maintainer:          stephen.m.diehl@gmail.com
copyright:           2014 Stephen Diehl
category:            Logic
build-type:          Simple
cabal-version:       >=1.10
tested-with:         GHC == 7.6.3
Bug-Reports:         https://github.com/sdiehl/picologic/issues

description:
  `picologic` provides symbolic logic expressions that can be integrated with the `picosat` solver.
Source-Repository head
    type: git
    location: git@github.com:sdiehl/picologic.git

Flag shell
  description: Build the interactive shell
  default:     False

library
  exposed-modules:     
    Picologic,
    Picologic.Solver,
    Picologic.AST,
    Picologic.Parser,
    Picologic.Pretty,
    Picologic.Tseitin
  other-modules:
    Picologic.Lexer
  hs-source-dirs:      src
  other-extensions:    DeriveDataTypeable, BangPatterns
  build-depends:       
    base        >= 4.6 && <4.10,
    picosat     >= 0.1 && <0.2,
    containers  >= 0.5 && <0.6,
    mtl         >= 2.1 && <2.4,
    pretty      >= 1.1 && <1.2,
    parsec      >= 3.1 && <3.2
  default-language:    Haskell2010

executable picologic
  main-is:     Picologic/Main.hs
  if flag(shell)
    hs-source-dirs:      src
    other-modules: Picologic.Repl
    other-extensions:    DeriveDataTypeable, BangPatterns
    build-depends:       
      base        >= 2   && <5,
      picosat     >= 0.1 && <0.2,
      containers  >= 0.5 && <0.6,
      mtl         >= 2.1 && <2.4,
      pretty      >= 1.1 && <1.2,
      parsec      >= 3.1 && <3.2,
      process     >= 1.1 && <1.2,
      haskeline   >= 0.7 && <0.8
    default-language:    Haskell2010
  else
    buildable: False

--Todo: how to fail 'cabal test' on a QuickCheck error?
Test-Suite picologic-quickcheck
   type:       exitcode-stdio-1.0
   main-is:    tests.hs
   hs-source-dirs: tests
   build-depends: 
      base >= 2 && <5,
      QuickCheck,
      containers,
      picosat,
      mtl,
      pretty,
      picologic

Test-Suite pretty-print-test
   type:       exitcode-stdio-1.0
   main-is:    PrettyPrintTest.hs
   hs-source-dirs: tests
   build-depends: 
      base >= 2 && <5,
      picologic