| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/tst/test-compile/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 18.9.2025 mit Größe 632 B |
|
Quelle run_interpreted.sh Sprache: Shell |
|||||||||
|
#!/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.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28