curry-frontend.cabal 2.58 KB
Newer Older
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
1
Name:          curry-frontend
2
Version:       0.3.10
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
3 4 5 6 7 8 9 10 11 12 13 14
Cabal-Version: >= 1.6
Synopsis:      Compile the functional logic language Curry to several
               intermediate formats
Description:   The Curry Frontend consists of the executable program "cymake".
               It is used by various backends to compile Curry programs to
               an internal representation.
               The code is a stripped-down version of an early version of
               the Muenster Curry Compiler
               (<http://danae.uni-muenster.de/~lux/curry/>)
Category:      Language
License:       OtherLicense
License-File:  LICENSE
15 16 17 18
Author:        Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel,
               Bjoern Peemoeller
Maintainer:    Bjoern Peemoeller
Bug-Reports:   mailto:bjp@informatik.uni-kiel.de
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
19 20 21 22 23 24 25 26 27 28 29 30 31 32
Homepage:      http://curry-language.org
Build-Type:    Simple
Stability:     experimental

Extra-Source-Files: LIESMICH
Data-Files:         src/Html/currydoc.css

Flag split-syb
  Description: Has the syb functionality been split into the package syb?
  Default:     True

Executable cymake
  hs-source-dirs: src
  Main-is:        cymake.hs
33 34
  Build-Depends: base == 4.*, curry-base == 0.3.10
    , containers, directory, either, mtl, process, transformers, syb
35
  if impl(ghc < 7.4)
36
    Build-Depends: either < 4, contravariant < 0.5, semigroupoids < 3.0.3, transformers < 0.3
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
37 38
  ghc-options: -Wall
  Other-Modules:
Björn Peemöller 's avatar
Björn Peemöller committed
39
      Base.CurryTypes
40
    , Base.Expr
Björn Peemöller 's avatar
Björn Peemöller committed
41
    , Base.Messages
Björn Peemöller 's avatar
Björn Peemöller committed
42
    , Base.NestEnv
Björn Peemöller 's avatar
Björn Peemöller committed
43
    , Base.SCC
Björn Peemöller 's avatar
Björn Peemöller committed
44
    , Base.ScopeEnv
Björn Peemöller 's avatar
Björn Peemöller committed
45
    , Base.Subst
Björn Peemöller 's avatar
Björn Peemöller committed
46
    , Base.TopEnv
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
47
    , Base.Types
Björn Peemöller 's avatar
Björn Peemöller committed
48 49 50
    , Base.TypeSubst
    , Base.Typing
    , Base.Utils
Björn Peemöller 's avatar
Björn Peemöller committed
51
    , Checks
52
    , Checks.ExportCheck
Björn Peemöller 's avatar
Björn Peemöller committed
53 54
    , Checks.InterfaceCheck
    , Checks.InterfaceSyntaxCheck
Björn Peemöller 's avatar
Björn Peemöller committed
55 56 57 58 59
    , Checks.KindCheck
    , Checks.PrecCheck
    , Checks.SyntaxCheck
    , Checks.TypeCheck
    , Checks.WarnCheck
Björn Peemöller 's avatar
Björn Peemöller committed
60 61 62 63
    , CompilerEnv
    , CompilerOpts
    , CurryBuilder
    , CurryDeps
Björn Peemöller 's avatar
Björn Peemöller committed
64 65
    , Env.Interface
    , Env.ModuleAlias
Björn Peemöller 's avatar
Björn Peemöller committed
66
    , Env.OpPrec
67
    , Env.TypeConstructor
Björn Peemöller 's avatar
Björn Peemöller committed
68
    , Env.Value
Björn Peemöller 's avatar
Björn Peemöller committed
69 70
    , Exports
    , Generators
Björn Peemöller 's avatar
Björn Peemöller committed
71 72
    , Generators.GenAbstractCurry
    , Generators.GenFlatCurry
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
73 74
    , Html.CurryHtml
    , Html.SyntaxColoring
Björn Peemöller 's avatar
Björn Peemöller committed
75
    , IL
76 77
    , IL.Pretty
    , IL.Type
Björn Peemöller 's avatar
Björn Peemöller committed
78 79 80 81 82
    , Imports
    , Interfaces
    , Modules
    , ModuleSummary
    , Transformations
Björn Peemöller 's avatar
Björn Peemöller committed
83 84 85 86 87 88
    , Transformations.CaseCompletion
    , Transformations.CurryToIL
    , Transformations.Desugar
    , Transformations.Lift
    , Transformations.Qual
    , Transformations.Simplify
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
89 90 91 92 93 94 95
Library
  hs-source-dirs:  src
  Build-Depends:   filepath
  Exposed-Modules:
    Files.CymakePath
  Other-Modules:
    Paths_curry_frontend