diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-11 22:08:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-12 00:22:41 +0100 |
| commit | 7f3673f21d1bf1d40a587ffbca7ced7de33a8535 (patch) | |
| tree | b879b9ce78296723a28cb518c9b84b94d946643a /.gitmodules | |
| parent | d91a879121485b079796ab5174468bf4c034ae40 (diff) | |
| download | patches-7f3673f21d1bf1d40a587ffbca7ced7de33a8535.tar patches-7f3673f21d1bf1d40a587ffbca7ced7de33a8535.tar.gz | |
guix build: Add '--with-source'.
* guix/scripts/build.scm (package-with-source): New procedure.
(show-help): Add '--with-source'.
(%options): Likewise.
(options->derivations): Call 'options/with-source' and
'options/resolve-packages'.
(options/resolve-packages, options/with-source): New procedures.
* doc/guix.texi (Invoking guix build): Document '--with-source'.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions