aboutsummaryrefslogtreecommitdiff
path: root/gfsm
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm')
-rw-r--r--gfsm/configure.in20
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