#!/bin/sh

if [ -z "$GAP" ]
then
    GAP=gap
fi


CPU_INFO=$(cat /proc/cpuinfo|grep 'model name'|head -n 1|cut -d: -f 2)
OS_INFO="$(uname -s) ($(uname -vr))"
GAP_INFO=$($GAP -h 2>&1 |grep Version|sed -e 's/.*Version //')

cat <<-EOF
    Timing results are obtained on an $CPU_INFO processor running
    $OS_INFO
    and using GAP $GAP_INFO.
EOF
