#!/usr/bin/env bash
set -e
# This script should be run as ./run_interpreted.sh gap gapfile.g
# It reads gapfile.g, then runs the function 'runtest'
gap="$1"
gfile="$2"
outfile="$3"
# It provides the following features:
# 1) Stop GAP from attaching to the terminal (which it will
# use in the break loop)
# 2) Combine stderr and stdout
# 3) Rewrite the root of gap with the string GAPROOT,
# so the output is usable on other machines
GAPROOT=$("$gap" --print-gaproot)
echo "Read(\"$gfile\"); runtest();" |
"$gap" -r -A -q -b -x 200 2>&1 |
sed "s:${GAPROOT//:/\\:}:GAPROOT/:g" > $outfile.tmp
mv $outfile.tmp $outfile
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland