name:                lean
version:             0.0.0.1
synopsis:            Bonds to Lean theorem prover
-- description:
license:             BSD3
license-file:        LICENSE
author:              M Farkas-Dyck
maintainer:          strake888@gmail.com
copyright:           2019 M Farkas-Dyck
category:            Math
build-type:          Simple
extra-source-files:  README.md
cabal-version:       >=1.10

library
  hs-source-dirs:      .
  exposed-modules:     Lean.Exception
                     , Lean.Expr
                     , Lean.Name
                     , Lean.Univ
                     , Lean.Raw.C.Decl
                     , Lean.Raw.C.Decl.Cert
                     , Lean.Raw.C.Env
                     , Lean.Raw.C.Exception
                     , Lean.Raw.C.Expr
                     , Lean.Raw.C.Name
                     , Lean.Raw.C.Univ
  other-modules:       Prelude
                     , Lean.IO.Util
                     , Lean.Wrapper
                     , Lean.Wrapper.Univ
  build-depends:       base >= 4.7 && < 5
                     , base-unicode-symbols
                     , text-utf8
                     , transformers
                     , util
  default-language:    Haskell2010
  default-extensions:  UnicodeSyntax
                     , LambdaCase
                     , EmptyCase
                     , InstanceSigs
                     , PartialTypeSignatures
                     , PatternSynonyms
                     , ViewPatterns
                     , PolyKinds
                     , ConstraintKinds
                     , FlexibleContexts
                     , FlexibleInstances
                     , TypeFamilies
                     , MonadComprehensions
                     , StandaloneDeriving
                     , GeneralizedNewtypeDeriving
                     , DeriveFunctor, DeriveFoldable, DeriveTraversable
  ghc-options:         -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
                       -Wincomplete-record-updates -Wincomplete-uni-patterns
                       -Werror=incomplete-patterns
                       -Werror=incomplete-uni-patterns
                       -Werror=incomplete-record-updates
                       -Werror=missing-fields
                       -Werror=missing-methods
                       -Wno-partial-type-signatures
                       -Wno-orphans
  build-tools:         hsc2hs

source-repository head
  type:     git
  location: https://github.com/strake/lean.hs