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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

------------------------------------------------------------------------------
--- Definition of some global constants used by the CPM manager.
------------------------------------------------------------------------------

module CPM.Manage.Config
  where

import FilePath  ( (</>) )

------------------------------------------------------------------------------
-- Some global settings:

-- Banner of the CPM manage tool:
banner :: String
 = unlines [bannerLine, bannerText, bannerLine]
 where
  bannerText = "cpm-manage (version of 05/10/2020)"
  bannerLine = take (length bannerText) (repeat '-')

--- Base URL of CPM documentations
cpmDocURL :: String
cpmDocURL = "https://cpm.curry-lang.org/DOC/"

--- Subdirectory containing HTML files for each package
--- generated by `cpm-manage genhtml`.
packageHtmlDir :: String
packageHtmlDir = "pkgs"

--- The default directory containing all package documentations
--- generated by `cypm doc`.
packageDocDir :: String
packageDocDir = "CPM" </> "DOC"

--- The default directory containing tar files of all packages.
packageTarDir :: String
packageTarDir = "CPM" </> "PACKAGES"

--- Directory with documentations for Currygle.
currygleDocDir :: String
currygleDocDir = "currygledocs"

-- Home page of PAKCS
pakcsURL :: String
pakcsURL = "http://www.informatik.uni-kiel.de/~pakcs/"

-- Home page of KiCS2
kics2URL :: String
kics2URL = "http://www-ps.informatik.uni-kiel.de/kics2/"

------------------------------------------------------------------------------