src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version
author hoelzl
Thu, 02 Dec 2010 16:45:28 +0100
changeset 40887 ee8d0548c148
parent 40243 3102b27ca03a
child 41308 9e576ec5c0dc
permissions -rwxr-xr-x
Prove rel_interior_convex_hull_union (by Grechuck Bogdan).

#!/usr/bin/env bash
#
# Author: Lukas Bulwahn, TU Muenchen, 2010
#
# Determine SWI-Prolog version

if [ "$EXEC_SWIPL" = "" ]; then
  echo ""
else
  VERSION=`$EXEC_SWIPL --version`
  echo `expr match "$VERSION" 'SWI-Prolog version \([0-9\.]*\)'`
fi