PandocAgda-2.3.3.0.2: PandocAgda.cabal

name:            PandocAgda
version:         2.3.3.0.2
cabal-version:   >= 1.8
build-type:      Simple
license:         BSD3
license-file:    LICENSE
author:          Péter Diviánszky
maintainer:      Péter Diviánszky <divipp@gmail.com>
category:        Dependent types
synopsis:        Pandoc support for literate Agda
description:
  Agda is a dependently typed functional programming language
  and a proof assistant.
  .
  This package contains a modified Agda compiler which
  process comments in literate Agda files with Pandoc.
  Pandoc is a universal document converter.
tested-with:        GHC == 7.6.1
extra-source-files: src/full/Agda/undefined.h
                    README
                    CHANGES
data-dir:           src/data
data-files:         Agda.template
                    Agda.css

source-repository head
  type:     darcs
  location: http://hub.darcs.net/divip/AgdaTutorial

library
  hs-source-dirs:   src/full

  if os(windows)
    build-depends:  Win32 == 2.2.*

  build-depends:    Agda == 2.3.3,
                    base >= 4.2 && < 4.7,
                    -- mtl-2.1 contains a severe bug
                    mtl >= 2.0 && < 2.1 || >= 2.1.1 && < 2.2,
                    QuickCheck >= 2.3 && < 2.6,
                    -- haskell-src-exts >= 1.9.6 && < 1.14,
                    containers >= 0.1 && < 0.6,
                    -- unordered-containers == 0.2.*,
                    -- pretty >= 1.0 && < 1.2,
                    -- bytestring >= 0.9.0.1 && < 0.11,
                    -- array >= 0.1 && < 0.5,
                    -- binary >= 0.4.4 && < 0.6,
                    -- zlib >= 0.4.0.1 && < 0.6,
                    filepath >= 1.1 && < 1.4,
                    -- process >= 1.0.1.0 && < 1.2,
                    -- haskeline >= 0.6.3.2 && < 0.8,
                    xhtml == 3000.2.*,
                    -- hashable >= 1.1.2.3 && < 1.3,
                    -- hashtables == 1.0.*,
                    -- geniplate >= 0.6.0.3 && < 0.7,
                    -- parallel < 3.3,
                    -- deepseq == 1.3.*,
                    pandoc == 1.10.*,
                    pandoc-types == 1.10.*,
                    text == 0.11.*

  if impl(ghc < 7.6)
    build-depends:  old-time >= 1.0 && < 1.2,
                    directory >= 1.0 && < 1.2
  else
      build-depends:  time == 1.4.*,
                      directory == 1.2.*

  extensions:       CPP
  exposed-modules:  Agda.PandocMain
                    Agda.Interaction.Highlighting.PandocHTML
                    Agda.Interaction.PandocOptions
                    Agda.Interaction.PandocConvertOptions
  other-modules:    Paths_PandocAgda
  if true
    ghc-options:    -w
                    -fwarn-deprecated-flags
                    -fwarn-dodgy-foreign-imports
                    -fwarn-dodgy-imports
                    -fwarn-duplicate-exports
                    -fwarn-hi-shadowing
                    -fwarn-incomplete-patterns
                    -fwarn-missing-fields
                    -fwarn-missing-methods
                    -fwarn-overlapping-patterns
                    -fwarn-warnings-deprecations
  -- The Cabal-generated module Paths_Agda triggers a warning under
  -- GHC 7.2.1/7.2.2 (at least when certain versions of Cabal are
  -- used).
  if impl(ghc < 7.2.1) || impl(ghc > 7.2.2)
    ghc-options:    -Werror
  if impl(ghc >= 6.12)
    ghc-options:    -fwarn-dodgy-exports
                    -fwarn-wrong-do-bind
  if impl(ghc >= 7.2)
    ghc-options:    -fwarn-identities
  ghc-prof-options: -auto-all

executable agdapandoc
  hs-source-dirs: src/main
  main-is:        Main.hs
  build-depends:  PandocAgda == 2.3.3.0.2,
                  -- Nothing is used from the following package, except
                  -- for the prelude.
                  base >= 3 && < 6
  if impl(ghc >= 7)
    -- If someone installs Agda with the setuid bit set, then the
    -- presence of +RTS may be a security problem (see GHC bug #3910).
    -- However, we sometimes recommend people to use +RTS to control
    -- Agda's memory usage, so we want this functionality enabled by
    -- default.
    ghc-options:  -rtsopts