diff options
| -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 |