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 CPP.Config where
packageVersion :: String
packageVersion = "3.1.0"
getPackagePath :: IO String
getPackagePath = return "/net/medoc/home/cpm/tmpcurrydoc2728429/currypp"
packagePath :: String
packagePath = "/net/medoc/home/cpm/tmpcurrydoc2728429/currypp"
getPackageLoadPath :: IO [String]
getPackageLoadPath = do
pp <- getPackagePath
return [pp ++ "/src", pp ++ "/.cpm/packages/regexp-4.0.0/src", pp ++ "/.cpm/packages/printf-3.0.0/src", pp ++ "/.cpm/packages/extra-3.0.0/src", pp ++ "/.cpm/packages/flatcurry-type-annotated-3.4.0/src", pp ++ "/.cpm/packages/flatcurry-annotated-3.3.0/src", pp ++ "/.cpm/packages/cryptohash-3.0.0/src", pp ++ "/.cpm/packages/html2-3.4.0/src", pp ++ "/.cpm/packages/html2-3.4.0/scripts", pp ++ "/.cpm/packages/fl-parser-3.0.0/src", pp ++ "/.cpm/packages/rewriting-3.0.0/src", pp ++ "/.cpm/packages/profiling-3.0.0/src", pp ++ "/.cpm/packages/easycheck-3.0.0/src", pp ++ "/.cpm/packages/ansi-terminal-3.0.0/src", pp ++ "/.cpm/packages/currycheck-3.0.0/src", pp ++ "/.cpm/packages/setfunctions-3.0.0/src", pp ++ "/.cpm/packages/contracts-3.0.0/src", pp ++ "/.cpm/packages/global-3.2.0/src", pp ++ "/.cpm/packages/csv-3.0.0/src", pp ++ "/.cpm/packages/cdbi-3.2.0/src", pp ++ "/.cpm/packages/socket-3.0.0/src", pp ++ "/.cpm/packages/io-extra-3.0.0/src", pp ++ "/.cpm/packages/cass-3.0.1/src", pp ++ "/.cpm/packages/scc-3.0.0/src", pp ++ "/.cpm/packages/xml-3.0.0/src", pp ++ "/.cpm/packages/transformers-3.0.0/src", pp ++ "/.cpm/packages/redblacktree-3.0.0/src", pp ++ "/.cpm/packages/flatcurry-3.0.0/src", pp ++ "/.cpm/packages/containers-3.0.0/src", pp ++ "/.cpm/packages/cass-analysis-3.0.1/src", pp ++ "/.cpm/packages/searchtree-3.0.0/src", pp ++ "/.cpm/packages/allvalues-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"]
packageLoadPath :: String
packageLoadPath = "/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/regexp-4.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/printf-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/extra-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/flatcurry-type-annotated-3.4.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/flatcurry-annotated-3.3.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/cryptohash-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/html2-3.4.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/html2-3.4.0/scripts:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/fl-parser-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/rewriting-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/profiling-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/easycheck-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/ansi-terminal-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/currycheck-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/setfunctions-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/contracts-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/global-3.2.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/csv-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/cdbi-3.2.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/socket-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/io-extra-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/cass-3.0.1/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/scc-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/xml-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/transformers-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/redblacktree-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/flatcurry-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/containers-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/cass-analysis-3.0.1/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/searchtree-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/allvalues-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/read-legacy-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/random-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/queue-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/wl-pprint-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/process-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/frontend-exec-3.3.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/propertyfile-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/time-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/filepath-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/directory-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/currypath-3.0.0/src:/net/medoc/home/cpm/tmpcurrydoc2728429/currypp/.cpm/packages/abstract-curry-3.0.0/src"
getPackageExecutable :: IO String
getPackageExecutable = return "/net/medoc/home/cpm/.cpm/bin_pakcs/currypp"
packageExecutable :: String
packageExecutable = "/net/medoc/home/cpm/.cpm/bin_pakcs/currypp"
|