Eq-1.1.3: Eq.cabal

Name:       Eq
Version:    1.1.3
Synopsis:   Render math formula in ASCII, and perform some simplifications
Build-Type: Simple
Category:   Language, Math
Cabal-Version:  >= 1.6
Description:    Haskell formula manipulation program
Author:         Vincent Berthoux
Maintainer:     Vincent Berthoux <vincent.berthoux@gmail.com>
License:        BSD3

Flag Debug
    Description: Enable debug prints
    Default: False

Flag StaticLinking
    Description: Try to link statically on Linux
    Default: False

Flag optimize
    Description: turn on optimisation
    Default: True

Source-Repository head
  Type:     git
  Location: git://github.com/Twinside/Eq.git

Source-Repository this
  Type:     git
  Location: git://github.com/Twinside/Eq.git
  Tag:      v1.1.3

-- Main executable
Executable eq
    Main-Is: formulaMain.hs
    Extensions: CPP
    Ghc-options:-Wall

    -- Special static linking only required
    -- in linux so far.
    if !os(darwin) && !os(windows) && flag(StaticLinking)
        Ghc-options:-static -optl-static -optl-pthread

    if flag(debug)
        cpp-options:-D_DEBUG

    if flag(optimize)
        Ghc-options:-O3

    Build-Depends: base             >= 4.1 && < 5.0
                 , parsec           >= 3.1 && < 3.2
                 , HaXml            >= 1.9 && < 2.0
                 , mtl              >= 2.1 && < 2.2
                 , transformers     >= 0.2 && < 0.4
                 , template-haskell >= 2.8 && < 2.9
                 , containers       >= 0.4 && < 0.6
                 , filepath         >= 1.3 && < 1.4
                 , array            >= 0.4 && < 0.5


    Other-Modules: Language.Eq
                 , Language.Eq.Algorithm.Cleanup
                 , Language.Eq.Algorithm.Derivative
                 , Language.Eq.Algorithm.EmptyMonad
                 , Language.Eq.Algorithm.Eval
                 , Language.Eq.Algorithm.Eval.Complex
                 , Language.Eq.Algorithm.Eval.Floating
                 , Language.Eq.Algorithm.Eval.GenericEval
                 , Language.Eq.Algorithm.Eval.GlobalStatement
                 , Language.Eq.Algorithm.Eval.Meta
                 , Language.Eq.Algorithm.Eval.Polynomial
                 , Language.Eq.Algorithm.Eval.Ratio
                 , Language.Eq.Algorithm.Eval.Types
                 , Language.Eq.Algorithm.Eval.Utils
                 , Language.Eq.Algorithm.Expand
                 , Language.Eq.Algorithm.Inject
                 , Language.Eq.Algorithm.Simplify
                 , Language.Eq.Algorithm.Unification
                 , Language.Eq.Algorithm.Utils
                 , Language.Eq.Algorithm.StackVM.Stack
                 , Language.Eq.BaseLibrary
                 , Language.Eq.Conf
                 , Language.Eq.Domain
                 , Language.Eq.ErrorMessages
                 , Language.Eq.EvaluationContext
                 , Language.Eq.FormulaIterator
                 , Language.Eq.InputParser.EqCode
                 , Language.Eq.InputParser.MathML
                 , Language.Eq.Linker
                 , Language.Eq.Polynome
                 , Language.Eq.Preprocessor
                 , Language.Eq.Propreties
                 , Language.Eq.Quasiquote
                 , Language.Eq.Renderer.Ascii
                 , Language.Eq.Renderer.Ascii2DGrapher
                 , Language.Eq.Renderer.CharRender
                 , Language.Eq.Renderer.Cpp
                 , Language.Eq.Renderer.EqCode
                 , Language.Eq.Renderer.Latex
                 , Language.Eq.Renderer.Mathml
                 , Language.Eq.Renderer.Placer
                 , Language.Eq.Renderer.RenderConf
                 , Language.Eq.Renderer.Sexpr
                 , Language.Eq.Types
                 , Language.Eq.UnicodeSymbols
                 , Language.Eq.CharArray
                 , Language.Eq.Repl