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
|
module CPM.ConfigPackage where
packageVersion :: String
packageVersion = "3.3.0"
getPackagePath :: IO String
getPackagePath = return "/var/www/vhosts/curry-lang.org/tmpcurrydoc343336/cpm-manage/.cpm/packages/cpm-3.3.0"
packagePath :: String
packagePath = "/var/www/vhosts/curry-lang.org/tmpcurrydoc343336/cpm-manage/.cpm/packages/cpm-3.3.0"
getPackageLoadPath :: IO [String]
getPackageLoadPath = do
return ["."]
packageLoadPath :: String
packageLoadPath = ""
getPackageExecutable :: IO String
getPackageExecutable = return "/var/www/vhosts/curry-lang.org/.cpm/bin_pakcs/cypm"
packageExecutable :: String
packageExecutable = "/var/www/vhosts/curry-lang.org/.cpm/bin_pakcs/cypm"
|