Some auxiliary operations to deal with executables (system commands) used by CPM.
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 -> String -> 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.