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