curry-frontend.cabal 2.68 KB
Newer Older
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
1
Name:          curry-frontend
2
Version:       0.4.0
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
Homepage:      http://curry-language.org
Build-Type:    Simple
Stability:     experimental

Extra-Source-Files: LIESMICH
24
25
26

Data-Dir:   data
Data-Files: currysource.css
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
27

28
29
30
31
source-repository head
  type:     git
  location: git://git-ps.informatik.uni-kiel.de/curry/curry-frontend.git

32
33
34
Flag network-uri
   description: Get Network.URI from the network-uri package
   default: True
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
35
36
37
38

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