diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-04-01 22:57:05 +0200 |
---|---|---|
committer | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-04-01 23:07:02 +0200 |
commit | 2fe7ff87e23b18d49bd33cffc4766b7eaa382054 (patch) | |
tree | d14c14bd594692f990aa8d96bf9c925bac8596c8 /.dir-locals.el | |
parent | 8eefd24672d257e8bdfe7abe063da1d01d14d762 (diff) | |
download | cuirass-2fe7ff87e23b18d49bd33cffc4766b7eaa382054.tar cuirass-2fe7ff87e23b18d49bd33cffc4766b7eaa382054.tar.gz |
base: Make a writable copy of the checkout only when #:no-compile? is false.
This avoids copying things back and forth.
* src/cuirass/base.scm (fetch-repository): Add #:writable-copy?
parameter. Call 'make-writable-copy' when it's true.
(copy-repository-cache): Remove.
(make-writable-copy): New procedure.
(evaluate): Add 'source' parameter and pass it to the 'evaluate' program.
(process-specs): Define 'compile?'. Pass #:writable-copy? to
'fetch-repository'. Remove call to 'copy-repository-cache'. Remove
computation of the checkout directory name. Pass CHECKOUT to 'evaluate'.
* bin/evaluate.in (main): Replace 'cachedir' with 'source'. Remove
computation of the checkout directory name.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions