Name:          KiCS-debugger
Version:       0.1.1
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
extra-tmp-files: Curry/Module/*.fcy, 
                 Curry/Module/*.fint, 
                 Curry/DebugModule/*.fcy
                 Curry/DebugModule/*.hs
extra-source-files:
   Curry/DebugModule/*.hs.include
   biosphere/src/Curry/Module/*.hs.include
Data-Dir: .
Data-Files:    
   Curry/Module/*.fcy
   Curry/Module/*.fint

Library
  hs-source-dirs: .,biosphere/src
  Build-Depends:  
    base == 4.1.*,
    haskell98,
    filepath,
    syb,
    containers,
    mtl,
    readline,
    KiCS >= 0.9.1

  Exposed-Modules:
    Curry.Files.KiCSDebugPath

    Curry.Debugger.DebugMonad
    Curry.Debugger.DebugInfo 
    Curry.Debugger.PartCalls 
    Curry.Debugger.ShowTerm
    Curry.Debugger.DebugInfoGoodies

    Curry.Debugger.Tools.Debug.Monad
    Curry.Debugger.Tools.Cycle.Monad
    Curry.Debugger.Tools.Observations.Monad
    Curry.Debugger.Tools.Tracer.Monad
    Curry.Debugger.Tools.DeclarativeDebugger.CallStack
    Curry.Debugger.Tools.DeclarativeDebugger.Monad
    Curry.Debugger.Tools.StrictEvaluation.Monad
    Curry.Debugger.Tools.Observe.Monad

    Curry.Module.OracleDequeue
    Curry.Module.OracleIOExts
    Curry.Module.OracleRedBlackTree
    Curry.Module.OracleList
    Curry.Module.OracleTraversal
    Curry.Module.OracleFlexRigid
    Curry.Module.OracleTime
    Curry.Module.OracleRead
    Curry.Module.OracleFloat
    Curry.Module.OracleSetRBT
    Curry.Module.OracleTrace
    Curry.Module.OraclePretty
    Curry.Module.OracleGraphInductive
    Curry.Module.OracleCurryStringClassifier
    Curry.Module.OracleFlatCurryTools
    Curry.Module.OracleInteger
    Curry.Module.OracleUnsafe
    Curry.Module.OracleDirectory
    Curry.Module.OracleFlatCurryShow
    Curry.Module.OracleChar
    Curry.Module.OracleSystem
    Curry.Module.OraclePropertyFile
    Curry.Module.OracleInteractive
    Curry.Module.OracleTableRBT
    Curry.Module.OracleSort
    Curry.Module.OracleFlatCurryRead
    Curry.Module.OracleSocket
    Curry.Module.OracleXML
    Curry.Module.OracleAbstractCurry
    Curry.Module.OracleStyledText
    Curry.Module.OracleFlatCurryXML
    Curry.Module.OraclePrettyFlat
    Curry.Module.OracleDistribution
    Curry.Module.OracleAbstractCurryPrinter
    Curry.Module.OracleReadShowTerm
    Curry.Module.OracleAnsiCodes
    Curry.Module.OracleFlatCurry
    Curry.Module.OracleParser
    Curry.Module.OracleFileGoodies
    Curry.Module.OracleMaybe
    Curry.Module.OracleCompactFlatCurry
    Curry.Module.OracleRandom
    Curry.Module.OracleCurrySyntax
    Curry.Module.OracleIO
    Curry.Module.OracleCSV
    Curry.Module.OracleRandomExternal
    Curry.Module.OracleGlobal
    Curry.Module.OracleArray
    Curry.Module.OracleAssertion
    Curry.Module.OracleFiniteMap
    Curry.Module.OracleMeta
    Curry.Module.OraclePrelude
    Curry.Module.OracleFlatCurryGoodies
    Curry.Module.OracleEasyCheck
    Curry.DebugModule.Dequeue
    Curry.DebugModule.List
    Curry.DebugModule.Time
    Curry.DebugModule.Read
    Curry.DebugModule.Float
    Curry.DebugModule.Trace
    Curry.DebugModule.Integer
    Curry.DebugModule.Directory
    Curry.DebugModule.Char
    Curry.DebugModule.Interactive
    Curry.DebugModule.Sort
    Curry.DebugModule.XML
    Curry.DebugModule.ReadShowTerm
    Curry.DebugModule.AnsiCodes
    Curry.DebugModule.FileGoodies
    Curry.DebugModule.Maybe
    Curry.DebugModule.CSV
    Curry.DebugModule.RandomExternal
    Curry.DebugModule.Prelude

  Other-Modules:
    Curry.Debugger.Logic
    Curry.Debugger.BoolStack
    Curry.Debugger.Oracle
    Curry.Debugger.Parser
    Curry.Debugger.Bubble 

    Curry.Debugger.Tools.DeclarativeDebugger.UI
    Curry.Debugger.Tools.DeclarativeDebugger.Ratings

    Paths_KiCS_debugger

Executable mkstrict
  main-is: mkstrict.hs
  hs-source-dirs: prophecy, biosphere/src, .curry/kics
  Build-Depends:  
    base == 4.1.*,
    haskell-src,
    directory,
    curry-base >= 0.2.7,
    KiCS >= 0.9.1,
    KiCS-prophecy >= 0.1.1
  Other-Modules:
    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  
    Curry.Module.DebuggerPath