uuagc-0.9.55: uuagc.cabal

cabal-version: >= 1.10
build-type: Custom
name: uuagc
version: 0.9.55
license: BSD3
license-file: LICENSE
maintainer: Jeroen Bransen
homepage: https://github.com/UU-ComputerScience/uuagc
description: Generates Haskell files from an attribute grammar specification
synopsis: Attribute Grammar System of Universiteit Utrecht
category: Development
stability: Stable
copyright: Universiteit Utrecht
author: Software Technology at Universiteit Utrecht
bug-reports: https://github.com/UU-ComputerScience/uuagc/issues
tested-with: GHC >= 6.12
extra-source-files: README
extra-source-files: uuagc_options
extra-source-files: src-ag/*.ag
extra-source-files: src-ag/LOAG/*.ag

-- This flag will be set by Setup.hs, use
-- cabal configure --ghc-options="-DEXTERNAL_UUAGC"
flag bootstrap_external
   description: Use an external uuagc executable for bootstrapping
   default: False
   manual: True

flag with-loag
   description: Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs
   default: False
   manual: True

custom-setup
  setup-depends: base >= 4 && < 5, Cabal >= 1.24 && < 3.11, uuagc-cabal >= 1.0

executable uuagc
   build-depends: uuagc-cabal >= 1.0.3.0
   build-depends: base >= 4, base < 5
   -- Self dependency, depend on library below
   build-depends: uuagc
   default-language: Haskell2010
   main-is: Main.hs
   hs-source-dirs: src-main

library
   build-depends: uuagc-cabal >= 1.0.3.0
   build-depends: base >= 4, base < 5, ghc-prim >= 0.2.0.0
   if flag(with-loag)
      build-depends: minisat
      cpp-options: -DWITH_LOAG
   build-depends: containers >= 0.3, directory >= 1.0.1.1, array >= 0.3.0.1
   build-depends: uulib >= 0.9.14, mtl >= 1.1.1.1
   build-depends: haskell-src-exts >= 1.11.1
   build-depends: filepath >= 1.1.0.4
   build-depends: aeson >= 1.4.7.1, bytestring >= 0.9.2.1
   hs-source-dirs: src, src-version, src-ag, src-options
   if !flag(bootstrap_external)
      hs-source-dirs: src-generated
   exposed-modules: UU.UUAGC, UU.UUAGC.Version
   default-extensions: TypeSynonymInstances, MultiParamTypeClasses
   default-language: Haskell2010
   other-modules: Paths_uuagc
    , Ag
    , CommonTypes
    , GrammarInfo
    , HsTokenScanner
    , Options
    , PPUtil
    , Parser
    , Pretty
    , Scanner
    , SequentialComputation
    , SequentialTypes
    , TokenDef
    , Version
    , AbstractSyntax
    , AbstractSyntaxDump
    , Code
    , CodeSyntax
    , CodeSyntaxDump
    , ConcreteSyntax
    , DeclBlocks
    , DefaultRules
    , Desugar
    , ErrorMessages
    , Expression
    , GenerateCode
    , HsToken
    , Interfaces
    , InterfacesRules
    , Order
    , Patterns
    , PrintCode
    , PrintOcamlCode
    , PrintCleanCode
    , PrintVisitCode
    , PrintErrorMessages
    , SemHsTokens
    , Transform
    , ATermWrite
    , ATermAbstractSyntax
    , TfmToVisage
    , Visage
    , VisageSyntax
    , VisagePatterns
    , MirageSyntax
    , TfmToMirage
    , AG2AspectAG
    , Macro
    , RhsCheck
    , ResolveLocals
    , Knuth1
    , KennedyWarren
    , KWOrder
    , ExecutionPlan
    , ExecutionPlan2Hs
    , ExecutionPlan2Clean
    , ExecutionPlan2Caml
    , LOAG.AOAG
    , LOAG.Chordal
    , LOAG.Common
    , LOAG.Graphs
    , LOAG.Order
    , LOAG.Rep
   if flag(with-loag)
      other-modules: LOAG.Solver.MiniSat, LOAG.Optimise