| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/tst/testspecial/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 18.9.2025 mit Größe 854 B |
|
Quelle run_gap.sh Sprache: Shell |
|||||||||
|
#!/usr/bin/env bash
set -e # This script should be run as ./run_gap.sh gap gapfile.g [gapfile.g.out] gap="$1" gfile="$2" outfile="${3:-$gfile.out}" # 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 # 4) Set lower and upper memory limits, for consistency GAPROOT=$("$gap" --print-gaproot) ( echo "LogTo(\"${outfile}.tmp\");" ; cat "$gfile" ; echo "QUIT;" ) | "$gap" -r -A -b -m 256m -o 512m -x 800 \ -c 'SetUserPreference("UseColorsInTerminal",false);' \ 2>/dev/null >/dev/null sed -E -e "s:${GAPROOT//:/\\:}:GAPROOT/:g" -e "s;(GAPROOT(/[^/]+)+):[0-9]+;\1:LINE;g" < rm "${outfile}.tmp" ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28