KiCS-debugger.cabal 2.39 KB
Newer Older
Bernd Brassel's avatar
Bernd Brassel committed
1
2
3
4
5
6
7
8
9
10
11
12
13
Name:          KiCS-debugger
Version:       0.1.0
Cabal-Version: >= 1.6
Author:        Bernd Braßel
Maintainer:    Bernd Braßel
Homepage:      http://curry-language.org
License:       OtherLicense
License-File:  LICENSE
Category:      Debug
build-type:    Custom
Synopsis:      debug features for kics 
Description:   This package contains the debugger for the Curry to Haskell compiler "kics".
Stability:     experimental
14
15
16
17
18
19
20
21
22
23
extra-tmp-files: 
  Curry/Module
extra-source-files:
   oracle/Curry/Module/*.hs.include
   biosphere/src/Curry/Module/TransformationPrint.hs.include
Data-Files:    
   prophecy/Curry/Module/.curry/*.fcy
   prophecy/Curry/Module/.curry/*.fint
   biosphere/src/Curry/Module/.curry/*.fcy
   biosphere/src/Curry/Module/.curry/*.fint
Bernd Brassel's avatar
Bernd Brassel committed
24
25

Library
26
  hs-source-dirs: .,oracle,biosphere/src
Bernd Brassel's avatar
Bernd Brassel committed
27
28
  Build-Depends:  
    base == 4.1.*,
29
30
31
32
33
34
35
    haskell98,
    filepath,
    syb,
    containers,
    mtl,
    KiCS >= 0.9.1

Bernd Brassel's avatar
Bernd Brassel committed
36
  Exposed-Modules:
37
    Curry.Files.KiCSDebugPath
Bernd Brassel's avatar
Bernd Brassel committed
38
    Curry.Module.Oracle
39
40
41
42
43
44
45
46
47
48
49
50
    Curry.Debugger.DebugMonad
    Curry.Debugger.DebugInfo 
    Curry.Debugger.PartCalls 

  Other-Modules:
    Curry.Module.EventOracle
    Curry.Module.CEventOracle
    Curry.Debugger.Logic
    Curry.Debugger.BoolStack
    Curry.Debugger.Oracle
    Paths_KiCS_debugger

51
52
  install-includes: oracle/coracle.h
  c-sources:        oracle/coracle.c
Bernd Brassel's avatar
Bernd Brassel committed
53
54

Executable prophecy
55
  main-is: prophecy.hs
Bernd Brassel's avatar
Bernd Brassel committed
56
57
58
59
60
61
62
63
64
65
  hs-source-dirs: prophecy, .curry/kics
  Build-Depends:  
    base == 4.1.*,
    KiCS >= 0.9.0
  Other-Modules:
    Curry.Module.AddWorld
    Curry.Module.Wrapper
    Curry.Module.LiftCases
    Curry.Module.Make
    Curry.Module.Transform
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

Executable mkstrict
  main-is: mkstrict.hs
  hs-source-dirs: prophecy, biosphere/src, .curry/kics
  Build-Depends:  
    base == 4.1.*,
    haskell-src,
    curry-base >= 0.2.6,
    KiCS >= 0.9.0
  Other-Modules:
    Curry.Module.LiftCases
    Curry.Module.Make
    Curry.Module.SrcRef
    Curry.Module.AbstractHaskell             
    Curry.Module.FlatToAbstractCurry         
    Curry.Module.TransformationDebugInfo     
    Curry.Module.TransformationMonad
    Curry.Module.TransformationPrint
    Curry.Module.TransformationPartCalls
    Curry.Module.TransformationComb          
    Curry.Module.TransformationExpr
    Curry.Module.TransformationInstances
    Curry.Module.TransformationSignatures
    Curry.Module.ExternalStubs
    Curry.Module.Transformation
    Curry.Module.TransformationDependencies