aboutsummaryrefslogtreecommitdiff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2018-04-01 22:57:05 +0200
committerLudovic Courtès <ludovic.courtes@inria.fr>2018-04-01 23:07:02 +0200
commit2fe7ff87e23b18d49bd33cffc4766b7eaa382054 (patch)
treed14c14bd594692f990aa8d96bf9c925bac8596c8 /.dir-locals.el
parent8eefd24672d257e8bdfe7abe063da1d01d14d762 (diff)
downloadcuirass-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