KiCS-debugger-0.1.0: Curry/Files/KiCSDebugPath.hs

module Curry.Files.KiCSDebugPath 
  (getMkstrict
  ,debugVersion
  ,module Curry.Files.ProphecyPath
  ) where

import Data.Version
import System.FilePath
import Paths_KiCS_debugger

import Curry.Files.ProphecyPath

debugVersion = showVersion version

getMkstrict = do
  execDir <- getBinDir
  return (execDir </> "mkstrict")