Commit 1d985e14 authored by Bernd Brassel's avatar Bernd Brassel
Browse files

path module added

parent e395dee9
......@@ -12,6 +12,8 @@ semantic.cache
# files generated by cabal
# frequently coming files
module Curry.Files.KiCSDebugPath (getProphecy,getMkstrict,getOracleLibDir,debugVersion) where
import Data.Version
import System.FilePath
import Paths_KiCS_debugger
debugVersion = showVersion version
getExecutable s = do
execDir <- getBinDir
return (execDir </> s)
getProphecy = getExecutable "prophecy"
getMkstrict = getExecutable "mkstrict"
getOracleLibDir = getDataDir
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment