cabal-version:       >=1.10
-- Initial package description 'agda2lagda.cabal' generated by 'cabal
-- init'.  For further documentation, see
-- http://haskell.org/cabal/users-guide/

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

description:         Simple command line tool to convert plain Agda
                     or Haskell
                     files into literate files.  Single 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
category:            Dependent types, Development

build-type:          Simple

extra-source-files:  CHANGELOG.md
                     README.md
                     Makefile
                     test/Foo.agda
                     test/ClosingCommentInString.agda

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.2

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.2020.11.1

executable agda2lagda
  main-is:             Main.hs

  other-modules:       LexicalStructure
                       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
                       -Wno-missing-pattern-synonym-signatures