aboutsummaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-10-23 14:22:36 +0200
committerLudovic Courtès <ludo@gnu.org>2019-10-23 14:53:50 +0200
commitc96863bc7cc019661dc3235bbb3fbdb870b3d474 (patch)
tree43a27ea791ccd68e8caf8a3cb728aaf2bab2522a /build-aux
parent9acb0aa55b5787edef885bb812e2ee66d4401e80 (diff)
downloadcuirass-c96863bc7cc019661dc3235bbb3fbdb870b3d474.tar
cuirass-c96863bc7cc019661dc3235bbb3fbdb870b3d474.tar.gz
base: Write to 'evaluate' output to /var/log/cuirass.
This fixes a longstanding issue where evalution output would splatter over the /var/log/cuirass.log and be inscrutable. * src/cuirass/base.scm (%cuirass-state-directory): New variable. (evaluation-log-file): New procedure. (evaluate)[log-file, log-pipe]: New variables. Call 'spawn-fiber' with a logging fiber. Wrap 'open-pipe*' call into 'with-error-to-port'. Close 'log-pipe'.
Diffstat (limited to 'build-aux')
-rw-r--r--build-aux/pre-inst-env.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/build-aux/pre-inst-env.in b/build-aux/pre-inst-env.in
index e8d9487..e876661 100644
--- a/build-aux/pre-inst-env.in
+++ b/build-aux/pre-inst-env.in
@@ -27,6 +27,9 @@ export GUILE_LOAD_COMPILED_PATH GUILE_LOAD_PATH
CUIRASS_DATADIR="$abs_top_srcdir/src"
export CUIRASS_DATADIR
+CUIRASS_STATE_DIRECTORY="${TMPDIR:-/tmp}/cuirass-tests/var"
+export CUIRASS_STATE_DIRECTORY
+
PATH="$abs_top_builddir/bin:$PATH"
export PATH