name:       dove
version:    0.0.0
category:   Language, Formal Methods
synopsis:   The Dove verification language.
author:     Tom Hawkins  <tomahawkins@gmail.com>
maintainer: Tom Hawkins  <tomahawkins@gmail.com>

license: BSD3
license-file: LICENSE

build-type:    Simple
cabal-version: >= 1.10

library
  default-language: Haskell2010
  build-depends:
    base     >= 4.0   && < 5.0,
    acl2     >= 0.0.1 && < 0.2
  exposed-modules:
    Language.Dove
    Language.Dove.ACL2
    Language.Dove.Optimize
    Language.Dove.Syntax
  ghc-options: -W

source-repository head
  type:     git
  location: git://github.com/tomahawkins/dove.git