1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
module REPL.PkgConfig where

--- Package version as a string.
packageVersion :: String
packageVersion = "0.0.1"

--- Returns the location (installation directory) of the package.
getPackagePath :: IO String
getPackagePath = return "/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/"

--- Package location (deprecated, use 'getPackagePath').
packagePath :: String
packagePath = "/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/"

--- Returns the load path for the package (if it is the main package).
getPackageLoadPath :: IO [String]
getPackageLoadPath = do
  pp <- getPackagePath
  return [pp ++ "src", pp ++ ".cpm/packages/io-extra-3.0.0/src", pp ++ ".cpm/packages/read-legacy-3.0.0/src", pp ++ ".cpm/packages/random-3.0.0/src", pp ++ ".cpm/packages/queue-3.0.0/src", pp ++ ".cpm/packages/wl-pprint-3.0.0/src", pp ++ ".cpm/packages/process-3.0.0/src", pp ++ ".cpm/packages/frontend-exec-3.3.0/src", pp ++ ".cpm/packages/propertyfile-3.0.0/src", pp ++ ".cpm/packages/time-3.0.0/src", pp ++ ".cpm/packages/filepath-3.0.0/src", pp ++ ".cpm/packages/directory-3.0.0/src", pp ++ ".cpm/packages/currypath-3.0.0/src", pp ++ ".cpm/packages/abstract-curry-3.0.0/src"]

--- Load path for the package (deprecated, use 'getPackageLoadPath').
packageLoadPath :: String
packageLoadPath = "/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/io-extra-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/read-legacy-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/random-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/queue-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/wl-pprint-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/process-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/frontend-exec-3.3.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/propertyfile-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/time-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/filepath-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/directory-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/currypath-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc23430/curry-repl/.cpm/packages/abstract-curry-3.0.0/src"