prototype-ghc-prover.cabal

cabal-version:      2.4
name:               prototype-ghc-prover
version:            0.1.0.0
license:            Apache-2.0
license-file:       LICENSE
author:             QBayLogic B.V.
maintainer:         devops@qbaylogic.com
copyright:          Copyright © 2024 QBayLogic B.V.
category:           Type System
homepage:

-- TODO: Before hackage release.
-- A short (one-line) description of the package.
synopsis:           A prototype for a plugin enabling GHC to communicate with a prover.

-- A longer description of the package.
-- description:

-- A URL where users can report bugs.
-- bug-reports:

extra-source-files:
  LICENSE
  README.md

common shared
  ghc-options:
    -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns
    -Wmissing-deriving-strategies -Wunused-foralls -Wunused-foralls
    -fprint-explicit-foralls -fprint-explicit-kinds

  default-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    DeriveDataTypeable
    DeriveFoldable
    DeriveFunctor
    DeriveGeneric
    DeriveLift
    DeriveTraversable
    DerivingStrategies
    DerivingVia
    EmptyCase
    EmptyDataDecls
    EmptyDataDeriving
    ExistentialQuantification
    ExplicitForAll
    FlexibleContexts
    FlexibleInstances
    GADTSyntax
    GeneralisedNewtypeDeriving
    ImportQualifiedPost
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    MultiWayIf
    NoStarIsType
    NumericUnderscores
    OverloadedStrings
    PolyKinds
    PostfixOperators
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    StandaloneKindSignatures
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
    ViewPatterns

  build-depends:
    , base          >=4.9   && <5

  default-language:   GHC2021

library
  exposed-modules:    ProverPlugin
  hs-source-dirs:     src
  build-depends:
    , base
    , ghc-tcplugins-extra
    , ghc
    , aeson
    , time
    , cryptohash-sha256
    , bytestring
    , process
    , text
    , directory
    , base16-bytestring
    , template-haskell
    , syb
    , directory
    , parsec
    , filepath

executable proofs
  import: shared
  build-depends:
    , prototype-ghc-prover
    , constraints
  ghc-options:        -fplugin=ProverPlugin -fplugin-opt=ProverPlugin:preamble
  main-is: Main.hs
  hs-source-dirs: app