diff options
author | David Thompson <dthompson2@worcester.edu> | 2022-08-31 20:29:53 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2022-08-31 20:29:53 -0400 |
commit | 43d179567499a62653f2d110f30caf135b84c069 (patch) | |
tree | 49ea3253aebe9e28bb552266623bfc9ed10381d8 | |
parent | f2cf85bd2e2fe50f974573fc186b30685e4643e8 (diff) |
dir-locals: Update compile-command to use 'guix shell'.
-rw-r--r-- | .dir-locals.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index da8b177..1f3c14e 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -1,4 +1,4 @@ -((nil . ((compile-command . "make -j$(nproc)"))) +((nil . ((compile-command . "guix shell --pure --development --file=guix.scm -- make -j$(nproc)") (scheme-mode . ((eval . (put 'with-tests 'scheme-indent-function 1)) |