cabal-version:       >=1.10
-- NB: Cabal file initially generated by 'cabal init'.

name:                agda2lagda
version:             0.2023.1.11
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, 2021, 2022
category:            Dependent types, Development

build-type:          Simple

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

tested-with:         GHC == 8.0.2
                     GHC == 8.2.2
                     GHC == 8.4.4
                     GHC == 8.6.5
                     GHC == 8.8.4
                     GHC == 8.10.7
                     GHC == 9.0.2
                     GHC == 9.2.5
                     GHC == 9.4.4

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

source-repository this
  type:     git
  location: git://github.com/andreasabel/agda2lagda.git
  tag:      v0.2023.1.11

executable agda2lagda
  main-is:             Main.hs

  other-modules:       LexicalStructure
                       Markup
                       Options
                       Render
                       Util
                       Version
                       Paths_agda2lagda

  -- other-extensions:
  build-depends:       base >=4.9 && < 5
                       -- , ansi-wl-pprint >= 0.6.7.3 && < 0.7
                       , directory
                       -- , directory >= 1.2.6.2 && < 1.4
                       , filepath
                       -- , filepath == 1.4.*
                       , optparse-applicative
                       -- , optparse-applicative >= 0.13 && < 0.16

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

  default-extensions:
                       -- BangPatterns
                       -- ConstraintKinds
                       -- DefaultSignatures
                       -- DeriveDataTypeable
                       -- DeriveFoldable
                       DeriveFunctor
                       -- DeriveTraversable
                       -- ExistentialQuantification
                       -- FlexibleContexts
                       -- FlexibleInstances
                       -- FunctionalDependencies
                       -- InstanceSigs
                       LambdaCase
                       -- MultiParamTypeClasses
                       MultiWayIf
                       -- NamedFieldPuns
                       -- OverloadedStrings
                       PatternSynonyms
                       -- RankNTypes
                       RecordWildCards
                       -- ScopedTypeVariables
                       -- StandaloneDeriving
                       TupleSections
                       -- TypeSynonymInstances

  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