clafer-0.4.3: clafer.cabal

Name:                   clafer
Version:                0.4.3
Synopsis:               Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Description:            Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo, and MODELS group at IT University of Copenhagen. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, JavaScript, JSON) to allow for reasoning with existing tools.
Homepage:               http://clafer.org
License:                MIT
License-file:           LICENSE
Author:                 Kacper Bak, Jimmy Liang, Michal Antkiewicz, Ed Zulkoski, Luke Michael Brown, Paulius Juodisius, Rafael Olaechea
Maintainer:             Michal Antkiewicz <mantkiew@gsd.uwaterloo.ca>
Stability:              Experimental
Category:               Model
Build-type:             Simple
tested-with:            GHC == 7.8.3
                      , GHC == 7.8.4
                      , GHC == 7.10.1
                      , GHC == 7.10.2
                      , GHC == 7.10.3
Cabal-version:          >= 1.18
data-files:             README.md
                      , CHANGES.md
                      , logo.pdf
                      , Makefile
                      , ecore2clafer.jar
                      , stack.yaml
extra-source-files:     src/Language/Clafer/clafer.css
source-repository head
    type:               git
    location:           git://github.com/gsdlab/clafer.git
Executable clafer
    build-tools:        ghc >= 7.8.3
    default-language:   Haskell2010
    main-is:            clafer.hs
    hs-source-dirs:     src-cmd
    build-depends:      base >= 4.7.0.1 && < 5
                      , containers >= 0.5.5.1
                      , filepath >= 1.3.0.2
                      , process >= 1.2.0.0

                      , mtl >= 2.1.3.1

                      , cmdargs >= 0.10.12
                      , split >= 0.2.2

                      , clafer == 0.4.3
    other-modules:      Paths_clafer

library
    build-tools:        ghc >= 7.8.3
                      , alex
                      , happy
    default-language:   Haskell2010
    build-depends:      array >= 0.5.0.0
                      , base >= 4.7.0.1 && < 5
                      , bytestring >= 0.10.4.0
                      , containers >= 0.5.5.1
                      , directory >= 1.2.1.0
                      , filepath >= 1.3.0.2
                      , process >= 1.2.0.0
                      , transformers >= 0.3.0.0

                      , HTTP >= 4000.2.10
                      , mtl >= 2.1.3.1
                      , network >= 2.4.2.3
                      , parsec >= 3.1.5
                      , text >= 1.1.0.0

                      , aeson >= 0.8.0.2 && < 0.10.0.0
                      , cmdargs >= 0.10.12
                      , data-stringmap >= 1.0.1.1
                      , executable-path >= 0.0.3
                      , file-embed >= 0.0.9
                      , json-builder >= 0.3
                      , lens >= 4.6.0.1
                      , lens-aeson >= 1.0.0.3
                      , network-uri >= 2.5.0.0
                      , string-conversions >= 0.3.0.3
                      , split >= 0.2.2
                      , transformers-compat >= 0.3 && < 0.5
                      , mtl-compat >= 0.2.1

    hs-source-dirs:     src
    ghc-options:        -Wall -fno-warn-orphans
    exposed-modules:    Language.Clafer
                      , Language.ClaferT
                      , Language.Clafer.ClaferArgs
                      , Language.Clafer.Comments
                      , Language.Clafer.Common
                      , Language.Clafer.Css
                      , Language.Clafer.JSONMetaData
                      , Language.Clafer.QNameUID
                      , Language.Clafer.Front.AbsClafer
                      , Language.Clafer.Front.ErrM
                      , Language.Clafer.Front.LayoutResolver
                      , Language.Clafer.Front.LexClafer
                      , Language.Clafer.Front.ParClafer
                      , Language.Clafer.Front.PrintClafer
                      , Language.Clafer.Generator.Alloy
                      , Language.Clafer.Generator.Choco
                      , Language.Clafer.Generator.Concat
                      , Language.Clafer.Generator.Graph
                      , Language.Clafer.Generator.Html
                      , Language.Clafer.Generator.Stats
                      , Language.Clafer.Intermediate.Desugarer
                      , Language.Clafer.Intermediate.Intclafer
                      , Language.Clafer.Intermediate.Resolver
                      , Language.Clafer.Intermediate.ResolverInheritance
                      , Language.Clafer.Intermediate.ResolverName
                      , Language.Clafer.Intermediate.ResolverType
                      , Language.Clafer.Intermediate.ScopeAnalysis
                      , Language.Clafer.Intermediate.SimpleScopeAnalyzer
                      , Language.Clafer.Intermediate.StringAnalyzer
                      , Language.Clafer.Intermediate.Tracing
                      , Language.Clafer.Intermediate.Transformer
                      , Language.Clafer.Intermediate.TypeSystem
                      , Language.Clafer.Optimizer.Optimizer
                      , Language.Clafer.SplitJoin
                      , Paths_clafer
    other-modules:      GetURL

Test-Suite test-suite
    build-tools:        ghc >= 7.8.3
    default-language:   Haskell2010
    type:               exitcode-stdio-1.0
    main-is:            test-suite.hs
    hs-source-dirs:     test
    build-depends:      base >= 4.7.0.1 && < 5
                      , containers >= 0.5.5.1
                      , directory >= 1.2.1.0
                      , filepath >= 1.3.0.2

                      , HUnit >= 1.2.5.2
                      , mtl >= 2.1.3.1
                      , QuickCheck >= 2.6

                      , data-stringmap >= 1.0.1.1
                      , lens >= 4.6.0.1
                      , lens-aeson >= 1.0.0.3
                      , tasty >= 0.10.1.2
                      , tasty-hunit >= 0.9.2
                      , tasty-th >= 0.1.3
                      , transformers-compat >= 0.3 && < 0.5
                      , mtl-compat >= 0.2.1
                      , clafer == 0.4.3

    ghc-options:        -Wall

    other-modules:      Functions
                      , Suite.Positive
                      , Suite.Negative
                      , Suite.SimpleScopeAnalyser
                      , Suite.Redefinition
                      , Suite.TypeSystem

Test-suite doctests
    build-tools:        ghc >= 7.8.3
    default-language:   Haskell2010
    type:               exitcode-stdio-1.0
    ghc-options:        -threaded -Wall
    main-is:            doctests.hs
    hs-source-dirs:     test
    build-depends:      base
                      , doctest >= 0.10.1