clafer.cabal

Name:                clafer
Version:             0.3.2
Synopsis:            clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
Description:         Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. 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, XML) to allow for reasoning with existing tools.
Homepage:            http://clafer.org
License:             MIT
License-file:        LICENSE
Author:              Kacper Bak, Jimmy Liang, Michal Antkiewicz, Chris Walker
Maintainer:          kbak@gsd.uwaterloo.ca
Stability:           Experimental
Category:            Model
Build-type:          Simple
Cabal-version:       >= 1.8
Extra-Source-Files:
                     CHANGES.md,
                     LICENSE,
                     tools/alloy4.jar,
                     tools/alloy4.2.jar,
                     tools/XsdCheck.class
					 
source-repository head
    type:            git
    location:        git://github.com/gsdlab/clafer.git
					 
Executable clafer
    build-tools:     ghc >= 7.4.1
    extensions:      DeriveDataTypeable,
                     RankNTypes
    main-is:         clafer.hs
    build-depends:   base >= 4 && < 5,
                     clafer,
                     array >= 0.4.0.0, 
                     process >= 1.1.0.1, 
                     mtl >= 2.1.1, 
                     containers >= 0.4.2.1, 
                     cmdargs >= 0.10.2, 
                     executable-path >= 0.0.3, 
                     filepath >= 1.3.0.0,
                     HaXml >= 1.23.3,
                     MaybeT >= 0.1.2,
                     glpk-hs >= 0.3.3,
                     parsec >= 3.1.2
    hs-source-dirs:  src

library 
    build-tools:     ghc >= 7.4.1
    extensions:      DeriveDataTypeable,
                     RankNTypes
    build-depends:   
                     base >= 4 && < 5, 
                     array >= 0.4.0.0, 
                     process >= 1.1.0.1, 
                     mtl >= 2.1.1, 
                     containers >= 0.4.2.1, 
                     cmdargs >= 0.10.2, 
                     executable-path >= 0.0.3, 
                     filepath >= 1.3.0.0,
                     HaXml >= 1.23.3,
                     MaybeT >= 0.1.2,
                     glpk-hs >= 0.3.3,
                     parsec >= 3.1.2
    hs-source-dirs:  src
    ghc-options:     -Wall
    exposed-modules: 
                     Language.Clafer,
                     Language.ClaferT,
                     Language.Clafer.ClaferArgs,
                     Language.Clafer.Comments,
                     Language.Clafer.Common,
                     Language.Clafer.Css,
                     Language.Clafer.Front.Absclafer,
                     Language.Clafer.Front.ErrM,
                     Language.Clafer.Front.LayoutResolver,
                     Language.Clafer.Front.Lexclafer,
                     Language.Clafer.Front.Mapper,
                     Language.Clafer.Front.Parclafer,
                     Language.Clafer.Front.Printclafer,
                     Language.Clafer.Generator.Alloy,
                     Language.Clafer.Generator.Graph,
                     Language.Clafer.Generator.Html,
                     Language.Clafer.Generator.Schema,
                     Language.Clafer.Generator.Stats,
                     Language.Clafer.Generator.Xml,
                     Language.Clafer.Intermediate.Analysis,                     
                     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.ScopeAnalyzer,
                     Language.Clafer.Intermediate.StringAnalyzer,
                     Language.Clafer.Intermediate.Tracing,
                     Language.Clafer.Intermediate.Transformer,
                     Language.Clafer.Optimizer.Optimizer,
                     Language.Clafer.SplitJoin,
                     Language.Clafer.Version