#3375: Add a command-line option to the darcs-all script to specify the darcs
repository to use
-----------------------------+----------------------------------------------
Reporter: seliopou | Owner: seliopou
Type: feature request | Status: new
Priority: normal | Component: Build System
Version: 6.10.3 | Severity: trivial
Keywords: darcs git | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
The {{{darcs-all}}} script currently assumes that it is being run from the
top level of a darcs repository. It uses the repository location stored in
{{{_darcs/prefs/defaultrepo}}} to determine from where to get the other
repositories that GHC depends on.
The assumption that the script is being run from a darcs repository is
unnecessary and is a hindrance to people who wish to use the git mirror of
the GHC repository. To make this script more flexible, and to allow git
users to use the repository without having to hack this script, I propose
adding to the script a {{{-r}}} option, which itself takes as an argument
the location of a darcs repository from which to get GHC's dependencies.
This option would be useful for darcs users as it would allow them to get,
pull, or push from any darcs repository they wish. It would also be useful
to git users, as it would allow them to quickly get started working on GHC
by using the command
{{{./darcs-all -r http://darcs.haskell.org/ghc get}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3375>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
