diff options
| author | Bryan Jurish <mukau@users.sourceforge.net> | 2007-08-03 13:15:08 +0000 |
|---|---|---|
| committer | Bryan Jurish <mukau@users.sourceforge.net> | 2007-08-03 13:15:08 +0000 |
| commit | e2e571572b3b11877de3ec5129b3f9744a23b82b (patch) | |
| tree | 8a114698006594d9aecdb28dc793b9f316f03fb6 | |
| parent | beae1fe58c3539d8f429ee3828cb51c850ea1545 (diff) | |
+ added debug --disable-gfsm flag to simulate unsupported platforms
svn path=/trunk/externals/moocow/; revision=8381
| -rw-r--r-- | gfsm/configure.in | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/gfsm/configure.in b/gfsm/configure.in index ba78f4b..0578203 100644 --- a/gfsm/configure.in +++ b/gfsm/configure.in @@ -146,12 +146,12 @@ if test "$PC_HAVE_GFSM" != "yes" ; then AC_MSG_WARN([ 'PKG_CONFIG_PATH' environment variable?]) AC_MSG_WARN([----------------------------------------------------------------]) AC_MSG_WARN([]) - ac_cv_enable_gfsm="no" + ac_cv_have_gfsm="no" else - ac_cv_enable_gfsm="yes" + ac_cv_have_gfsm="yes" fi -if test "$ac_cv_enable_gfsm" != "no" ; then +if test "$ac_cv_have_gfsm" != "no" ; then ##-- gfsm: library IFLAGS="$IFLAGS `$PKG_CONFIG --cflags-only-I gfsm`" LFLAGS="$LFLAGS `$PKG_CONFIG --libs-only-L gfsm`" @@ -160,6 +160,20 @@ fi ## /gfsm ##^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +##vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv +## gfsm (global) +AC_ARG_ENABLE(gfsm, + AC_HELP_STRING([--disable-gfsm], [Globally disable gfsm support (causes build to fail!)]), + [ac_cv_enable_gfsm="$enableval"], + [ac_cv_enable_gfsm="yes"]) + +if test "$ac_cv_enable_gfsm" != "yes" ; then + AC_MSG_ERROR([gfsm support disabled by user],1) +fi + +## /gfsm (global) +##^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + dnl -------------------------------------------------------------------- dnl BEGIN import from pd configure.in |