agda2lagda-0.2023.6.9: agda2lagda.cabal

cabal-version:       1.24

name:                agda2lagda
version:             0.2023.6.9
synopsis:            Translate .agda files into .lagda.tex files.

description:         Simple command line tool to convert plain Agda
                     or Haskell files into literate files.  Line comments
                     are interpreted as text, the rest as code blocks.

homepage:            https://github.com/andreasabel/agda2lagda
bug-reports:         https://github.com/andreasabel/agda2lagda/issues
license:             PublicDomain
license-file:        LICENSE

author:              Andreas Abel
maintainer:          Andreas Abel <andreas.abel@cse.gu.se>
copyright:           Andreas Abel, 2020-2023
category:            Dependent types, Development

build-type:          Simple

extra-doc-files:
  CHANGELOG.md
  README.md

extra-source-files:
  Makefile
  test/*.goldplate
  test/*.agda
  test/golden/*.lagda.md
  test/golden/*.lagda.tex

tested-with:
  GHC == 9.6.2
  GHC == 9.4.5
  GHC == 9.2.8
  GHC == 9.0.2
  GHC == 8.10.7
  GHC == 8.8.4
  GHC == 8.6.5
  GHC == 8.4.4
  GHC == 8.2.2
  GHC == 8.0.2

source-repository head
  type:     git
  location: https://github.com/andreasabel/agda2lagda.git

executable agda2lagda
  main-is:             Main.hs

  other-modules:       LexicalStructure
                       Markup
                       Options
                       Render
                       Util
                       Version
                       Paths_agda2lagda

  -- other-extensions:
  build-depends:       base >=4.9 && < 5
                       , directory
                       -- , directory >= 1.2.6.2 && < 1.4
                       , filepath
                       -- , filepath == 1.4.*
                       , optparse-applicative >= 0.13

  hs-source-dirs:      src
  default-language:    Haskell2010

  default-extensions:
                       DeriveFunctor
                       LambdaCase
                       MultiWayIf
                       PatternSynonyms
                       RecordWildCards
                       TupleSections

  ghc-options:         -Wall
                       -Wcompat
                       -Wno-missing-pattern-synonym-signatures

test-suite test
  type:               exitcode-stdio-1.0
  hs-source-dirs:     test
  main-is:            Tests.hs
  default-language:   Haskell2010
  ghc-options:        -threaded
  build-depends:      base >= 4.11
                        -- goldplate requires ghc >= 8.4
                      , process
  build-tool-depends: goldplate:goldplate
                      -- We also need to depend on ourselves since goldplate calls us.
                      , agda2lagda:agda2lagda