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 banner = unlines [bannerLine, bannerText, bannerLine] where bannerText = "cpm-manage (version of 09/08/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/" ------------------------------------------------------------------------------ |