1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

module ERToolsPackageConfig where

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

--- Returns the location (installation directory) of the package.
getPackagePath :: IO String
getPackagePath = return "/net/medoc/home/cpm/tmpcurrydoc2105159/spicey/.cpm/packages/ertools-3.0.0"

--- Package location (deprecated, use 'getPackagePath').
packagePath :: String
packagePath = "/net/medoc/home/cpm/tmpcurrydoc2105159/spicey/.cpm/packages/ertools-3.0.0"

--- Returns the load path for the package (if it is the main package).
getPackageLoadPath :: IO [String]
getPackageLoadPath = do
  pp <- getPackagePath
  return ["."]

--- Load path for the package (deprecated, use 'getPackageLoadPath').
packageLoadPath :: String
packageLoadPath = ""

--- Returns the location of the executable installed by this package.
getPackageExecutable :: IO String
getPackageExecutable = return "/net/medoc/home/cpm/.cpm/bin_pakcs/erd2curry"

--- Location of the executable (deprecated, use 'getPackageExecutable').
packageExecutable :: String
packageExecutable = "/net/medoc/home/cpm/.cpm/bin_pakcs/erd2curry"