KiCS-prophecy-0.1.0: Curry/Files/ProphecyPath.hs
module Curry.Files.ProphecyPath (getProphecy ,getOracleLibDir ,prophecyVersion ) where import Data.Version import System.FilePath import Paths_KiCS_prophecy prophecyVersion = showVersion version getProphecy = do execDir <- getBinDir return (execDir </> "prophecy") getOracleLibDir = getDataDir