curry-frontend.cabal 3.33 KB
Newer Older
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
1
Name:          curry-frontend
2
Version:       0.4.1
3
Cabal-Version: >= 1.10
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
4
5
6
7
8
9
10
11
12
13
14
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
39
40
41
42
43
44
45
46
47
48
Library
  hs-source-dirs:   src
  default-language:  Haskell2010
  Build-Depends:
      base == 4.*
    , containers
    , curry-base == 0.4.1
    , directory
    , filepath
    , mtl
    , process
    , syb
    , transformers
49
50
51
52
  if flag(network-uri)
    build-depends: network-uri >= 2.6
  else
    build-depends: network < 2.6
53
54
  Exposed-Modules:
      Base.CurryTypes
55
    , Base.Expr
Björn Peemöller 's avatar
Björn Peemöller committed
56
    , Base.Messages
Björn Peemöller 's avatar
Björn Peemöller committed
57
    , Base.NestEnv
Björn Peemöller 's avatar
Björn Peemöller committed
58
    , Base.SCC
Björn Peemöller 's avatar
Björn Peemöller committed
59
    , Base.ScopeEnv
Björn Peemöller 's avatar
Björn Peemöller committed
60
    , Base.Subst
Björn Peemöller 's avatar
Björn Peemöller committed
61
    , Base.TopEnv
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
62
    , Base.Types
Björn Peemöller 's avatar
Björn Peemöller committed
63
64
65
    , Base.TypeSubst
    , Base.Typing
    , Base.Utils
Björn Peemöller 's avatar
Björn Peemöller committed
66
    , Checks
67
    , Checks.ExportCheck
Björn Peemöller 's avatar
Björn Peemöller committed
68
69
    , Checks.InterfaceCheck
    , Checks.InterfaceSyntaxCheck
70
    , Checks.ImportSyntaxCheck
Björn Peemöller 's avatar
Björn Peemöller committed
71
72
73
74
75
    , Checks.KindCheck
    , Checks.PrecCheck
    , Checks.SyntaxCheck
    , Checks.TypeCheck
    , Checks.WarnCheck
Björn Peemöller 's avatar
Björn Peemöller committed
76
77
78
79
    , CompilerEnv
    , CompilerOpts
    , CurryBuilder
    , CurryDeps
Björn Peemöller 's avatar
Björn Peemöller committed
80
81
    , Env.Interface
    , Env.ModuleAlias
Björn Peemöller 's avatar
Björn Peemöller committed
82
    , Env.OpPrec
83
    , Env.TypeConstructor
Björn Peemöller 's avatar
Björn Peemöller committed
84
    , Env.Value
Björn Peemöller 's avatar
Björn Peemöller committed
85
    , Exports
86
    , Files.CymakePath
Björn Peemöller 's avatar
Björn Peemöller committed
87
    , Generators
Björn Peemöller 's avatar
Björn Peemöller committed
88
89
    , Generators.GenAbstractCurry
    , Generators.GenFlatCurry
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
90
91
    , Html.CurryHtml
    , Html.SyntaxColoring
Björn Peemöller 's avatar
Björn Peemöller committed
92
    , IL
93
    , IL.Pretty
94
    , IL.ShowModule
95
    , IL.Type
Björn Peemöller 's avatar
Björn Peemöller committed
96
97
98
99
100
    , Imports
    , Interfaces
    , Modules
    , ModuleSummary
    , Transformations
Björn Peemöller 's avatar
Björn Peemöller committed
101
102
103
104
105
106
    , Transformations.CaseCompletion
    , Transformations.CurryToIL
    , Transformations.Desugar
    , Transformations.Lift
    , Transformations.Qual
    , Transformations.Simplify
Bjoern Peemoeller's avatar
Bjoern Peemoeller committed
107
108
  Other-Modules:
    Paths_curry_frontend
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
  ghc-options:       -Wall

Executable cymake
  hs-source-dirs: src
  Main-is:        cymake.hs
  default-language:  Haskell2010
  Build-Depends:
      base == 4.*
    , containers
    , curry-base == 0.4.1
    , curry-frontend
    , directory
    , filepath
    , mtl
    , process
    , syb
    , transformers
  if flag(network-uri)
    build-depends: network-uri >= 2.6
  else
    build-depends: network < 2.6
  ghc-options: -Wall
131
132
133
134
135
136
137
138

Test-Suite test-frontend
  type:           detailed-0.9
  hs-source-dirs: test
  default-language:  Haskell2010
  test-module:    TestFrontend
  build-depends:  base == 4.*, Cabal >= 1.10, curry-base == 0.4.1
    , curry-frontend == 0.4.1, filepath