Module CPM.Executables

checkRequiredExecutables :: ErrorLogger ()   

Check whether all operating system executables required by CPM are present on the current system. Since this takes some time, it is only checked with CPM's update command.

getCurlCmdOpts :: ErrorLogger (String,[String])   

Returns the curl command (first component of the result) together with some standard options. If the log level is not Debug, the options --silent --show-error are added so that curl works in silent mode. Moreover, a max-time is used to avoid hanging forever if a server cannot be reached.

getCurlCmd :: ErrorLogger String   

Returns the curl command with some standard options as a string. If the log level is not Debug, the options --silent --show-error are added so that curl works in silent mode. Moreover, a max-time is used to avoid hanging forever if a server cannot be reached.

getCurryCheck :: Config -> ErrorLogger (Maybe String)   

Returns the curry-check command, either from the current path or from CPM's bin directory, or Nothing if it does not exist. If it does not exist, report this also as an info.

getCurryDoc :: Config -> ErrorLogger String   

Returns the curry-doc command, either from the current path or from CPM's bin directory. Fails with an error if it does not exist.