3
FLEX=`which flex35 2>/dev/null || which flex 2>/dev/null`
6
echo "ERROR: 'flex' is not installed on this system." 1>&2;
10
FLEXVERSION=`"$FLEX" --version`
12
if [[ $FLEXVERSION == "flex 2.5.4" ]]
14
echo "ERROR: the version of flex on this system is too old." 1>&2
15
echo "Upgrade to at least 2.5.35 (which is NEWER than 2.5.4)." 1>&2
19
if [ "$FLEXVERSION" != "flex 2.5.35" -a "$FLEXVERSION" != "flex35 2.5.35" ]
21
echo "WARNING: the version of flex on this system may be incorrect." 1>&2
22
echo "If you receive errors, try upgrading to 2.5.35 or newer." 1>&2