Commit b864e1da authored by Michael Hanus 's avatar Michael Hanus

cpm install improved

parent 610c2545
......@@ -651,6 +651,11 @@ It should be kept as short as possible (ideally, less than 100 characters).
\item[\fbox{\code{description}}] A longer form description of what the package
A list of keywords that characterize the main area where the
package can be used, e.g., \code{Data}, \code{Numeric}, \code{GUI},
\code{Web}, etc.
\item[\fbox{\code{license}}] The license under which the package is distributed.
This is a free-form field. In case of a well-known license such as the GNU
General Public License\footnote{\url{}},
--- This module defines the data type for CPM's configuration options, the
--- default values for all options, and functions for reading the User's .cpmrc
--- default values for all options, and functions for reading the user's .cpmrc
--- file and merging its contents into the default options.
......@@ -23,7 +23,7 @@ import CPM.ErrorLogger
packageIndexURI :: String
packageIndexURI =
-- if you have an ssh access to
-- if you have an ssh access to
-- "ssh://"
--- Data type containing the main configuration of CPM.
--- Some utilities for deailing with files and directories
--- for the Curry Package Manager.
module CPM.FileUtil
( joinSearchPath
, copyDirectory
......@@ -524,7 +524,9 @@ installExecutable cfg repo gc p =
in compiler CompilerOptions { comCommand = cmd } cfg repo gc |>
log Info ("Installing executable '" ++ name ++ "' into '" ++
bindir ++ "'") |>
(system ("rm -f " ++ binexec) >> renameFile mainmod binexec >>
(doesFileExist binexec >>= \exbin ->
when exbin (renameFile binexec (binexec++".bak")) >>
renameFile mainmod binexec >>
checkPath path bindir))
(executableSpec p)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment