Changeset 8d0b68e in freewrt

Timestamp:

Jun 18, 2006, 12:18:32 PM (19 years ago)

Author:

Thorsten Glaser <tg@…>

Branches:

freewrt_1_0, freewrt_2_0

Children:

4e5b696

Parents:

4ed535c

Message:

check for flex and GNU Bison
issue a warning (well, more of a suggestion) if bison is too old

ok wbx@

git-svn-id: ​svn://www.freewrt.org/trunk/freewrt@79 afb5a338-a214-0410-bd46-81f09a774fd1

File:

• scripts/scan-tools.sh (modified) (1 diff)

scripts/scan-tools.sh

@@ -97 +97 @@
 fi
 
+if ! which flex >/dev/null 2>&1; then
+        echo You must install flex to continue.
+        exit 1
+fi
+
+if ! which bison >/dev/null 2>&1; then
+        echo You must install GNU Bison to continue.
+        echo While you can install any version, it is '*STRONGLY*' suggested
+        echo to install GNU Bison version 2.3 because of its bug fixes.
+        exit 1
+fi
+X=$(bison --version 2>&1 | fgrep 'GNU Bison' | sed 's/^[^0-9]*//')
+V=old
+if [[ $X = +([0-9]).+([0-9]) ]]; then
+        let major=${X%.*}
+        let minor=${X#*.}
+        if (( (major > 2) || ((major == 2) && (minor >= 3)) )); then
+                V=new
+        fi
+fi
+if [[ $V = old ]]; then
+        echo It is suggested to upgrade your copy of bison to
+        echo GNU Bison 2.3 because of its bug fixes.
+fi
+
 cd $topdir
 rm -rf lbin/tmp