Changeset 44f59b8 for auto/options

Timestamp:

06/06/09 13:40:55 (15 years ago)

Author:

Mateusz Hromada <ruanda@…>

Branches:

master

Children:

12743b9

Parents:

63a5739

git-author:

Mateusz Hromada <ruanda@…> (06/06/09 13:40:55)

git-committer:

Mateusz Hromada <ruanda@…> (06/06/09 13:40:55)

Message:

Add flex support in configure scripts.

File:

• auto/options (modified) (2 diffs)

auto/options

@@ -14 +14 @@
 if [ -z "$CC" ];                then CC=$DEFAULT_CC;                                fi
 if [ -z "$BISON" ];             then BISON=$DEFAULT_BISON;                          fi
+if [ -z "$FLEX" ];              then FLEX=$DEFAULT_FLEX;                            fi
 if [ -z "$RM" ];                then RM=$DEFAULT_RM;                                fi
 if [ -z "$RMDIR" ];             then RMDIR=$DEFAULT_RMDIR;                          fi
@@ -65 +66 @@
     CC=*)               CC="$value"                               ;;
     BISON=*)            BISON="$value"                            ;;
+    FLEX=*)             FLEX="$value"                             ;;
     RM=*)               RM="$value"                               ;;
     RMDIR=*)            RMDIR="$value"                            ;;