blc.cabal

name:                blc
version:             0.1.0
synopsis:            Binary Lambda Calculus
description:         A parser and interpreter for binary lambda calculus.
license:             BSD3
license-file:        LICENSE
author:              Kyle Raftogianis <kylerafto@gmail.com>
maintainer:          Kyle Raftogianis <kylerafto@gmail.com>
copyright:           (c) 2013 Kyle Raftogianis
category:            Language
build-type:          Simple
cabal-version:       >= 1.8

extra-source-files:
  .gitignore
  README.md

source-repository head
  type: git
  location: git://github.com/knrafto/blc.git

library
  build-depends:
    base            >= 4.6   && < 5,
    bound                       < 1,
    containers      >= 0.4.0 && < 6.0,
    mtl             >= 2.0.1 && < 2.2,
    parsec          >= 3     && < 4,
    prelude-extras  >= 0.3   && < 1,
    transformers    >= 0.2   && < 0.4

  exposed-modules:
    Language.BLC.Compile
    Language.BLC.Core
    Language.BLC.Encoding
    Language.BLC.Parse

  hs-source-dirs: src
  ghc-options: -Wall

executable blc
  build-depends:
    base >= 4.6 && < 5,
    blc

  hs-source-dirs: .
  main-is: blc.hs
  ghc-options: -Wall -O2

test-suite tests
  type: exitcode-stdio-1.0
  main-is: Tests.hs
  hs-source-dirs: tests
  ghc-options: -Wall -threaded

  build-depends:
    base,
    blc,
    bound,
    containers,
    HUnit            >= 1.2,
    QuickCheck       >= 2.4,
    tasty            >= 0.3,
    tasty-quickcheck >= 0.3,
    tasty-hunit      >= 0.2

  other-modules:
    Arbitrary
    Infinite