diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2016-09-15 22:50:42 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-09-23 16:16:29 +0200 |
| commit | fca42b010e56532fded536534ccb15b078a33e77 (patch) | |
| tree | 39cd0215f7b52c3ef97477fa8c15f9640d9585b9 /src | |
| parent | ff7c3a11f2b32336cb185479ae7ab0a864644715 (diff) | |
| download | cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar.gz | |
cuirass: Optionally support using of substitutes.
* bin/cuirass.in (options): Add --use-substitutes.
(show-help): Idem.
(main): Set %use-substitutes?.
Signed-off-by: Mathieu Lirzin <mthl@gnu.org>
Diffstat (limited to 'src')
| -rw-r--r-- | src/cuirass/base.scm | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index 52e0d00..8ad6af4 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -34,7 +34,12 @@ build-packages process-specs ;; Parameters. - %package-cachedir)) + %package-cachedir + %use-substitutes?)) + +(define %use-substitutes? + ;; Define whether to use substitutes + (make-parameter #f)) (define %package-cachedir ;; Define to location of cache directory of this package. @@ -149,7 +154,8 @@ if required." (with-store store (let* ((spec* (acons #:current-commit commit spec)) (jobs (evaluate store db spec*))) - (set-build-options store #:use-substitutes? #f) + (unless (%use-substitutes?) + (set-build-options store #:use-substitutes? #f)) (build-packages store db jobs)))) (db-add-stamp db spec commit))) jobspecs)) |