From 540d4aef64eb5364a836615fbd44d321b029de3f Mon Sep 17 00:00:00 2001 From: eunhhu Date: Sun, 4 Oct 2026 14:25:45 +0100 Subject: Say what computing in one event costs and finds (018 stage 2, research 118) --- research/experiments/033-computing/record.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'research/experiments/033-computing/record.py') diff --git a/research/experiments/033-computing/record.py b/research/experiments/033-computing/record.py index 7450fa6..3bb6a9e 100755 --- a/research/experiments/033-computing/record.py +++ b/research/experiments/033-computing/record.py @@ -4,7 +4,7 @@ computing: the examples routes.aup and numbers.aup against their models), each recorded by 029's recorded-pure-run, so two machines' records compare run by run (029's compare.py). -record.py AUP_ROOT PURE_ROOT OUT.jsonl the checks' report on stdout""" +record.py AUP_ROOT PURE_ROOT OUT.jsonl the checks' report on stdout (MAKE: the make to build with)""" import importlib.util import json import os @@ -14,8 +14,8 @@ import tempfile from pathlib import Path aup_root, pure_root, out = (Path(a).resolve() for a in sys.argv[1:4]) -subprocess.run(['make', '-s', '-C', str(pure_root), 'build/pure-run'], check=True) -subprocess.run(['make', '-s', '-C', str(aup_root), 'build/aup'], check=True) +subprocess.run([os.environ.get('MAKE', 'make'), '-s', '-C', str(pure_root), 'build/pure-run'], check=True) +subprocess.run([os.environ.get('MAKE', 'make'), '-s', '-C', str(aup_root), 'build/aup'], check=True) out.unlink(missing_ok=True) os.environ['PURE_RUN'] = str(pure_root / 'build' / 'pure-run') os.environ['PURE_RUN_LOG'] = str(out) -- cgit v1.2.3