KiCS2
Exported names: Imported modules:

Module CPM.Manage.Config

Definition of some global constants used by the CPM manager.

Summary of exported operations:

:: String   
cpmDocURL :: String   
Base URL of CPM documentations
packageHtmlDir :: String   
Subdirectory containing HTML files for each package generated by cpm-manage genhtml.
packageDocDir :: String   
The default directory containing all package documentations generated by cypm doc.
packageTarDir :: String   
The default directory containing tar files of all packages.
currygleDocDir :: String   
Directory with documentations for Currygle.
pakcsURL :: String   
kics2URL :: String   

Exported operations:

cpmDocURL :: String   

Base URL of CPM documentations

Further infos:
  • solution complete, i.e., able to compute all solutions

packageHtmlDir :: String   

Subdirectory containing HTML files for each package generated by cpm-manage genhtml.

Further infos:
  • solution complete, i.e., able to compute all solutions

packageDocDir :: String   

The default directory containing all package documentations generated by cypm doc.

packageTarDir :: String   

The default directory containing tar files of all packages.

currygleDocDir :: String   

Directory with documentations for Currygle.

Further infos:
  • solution complete, i.e., able to compute all solutions

pakcsURL :: String   

Further infos:
  • solution complete, i.e., able to compute all solutions

kics2URL :: String   

Further infos:
  • solution complete, i.e., able to compute all solutions