add --disable-pcmcia configure option

diff --git a/configure.ac b/configure.ac
index 7057f591784010eed5311477a66ed09e6bce7a10..9b4a802840149b74227365f6b55f9ae159b6f877 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -53,11 +53,17 @@ CC=$LINUX_CC
 COMEDI_CFLAGS="$ERROR_CFLAGS -I\$(top_srcdir)/include/"
 AC_SUBST(COMEDI_CFLAGS)
 
-AS_LINUX_CONFIG_OPTION_MODULE(CONFIG_PCMCIA)
+AC_ARG_ENABLE([pcmcia],[  --disable-pcmcia     Disable support for PCMCIA devices],
+       [ENABLE_PCMCIA=$enableval],[ENABLE_PCMCIA="yes"])
+if test "$ENABLE_PCMCIA" == "yes" ; then
+       AS_LINUX_CONFIG_OPTION_MODULE(CONFIG_PCMCIA)
+else
+       AC_MSG_NOTICE([PCMCIA support disabled])
+       AM_CONDITIONAL(CONFIG_PCMCIA,false)
+fi
 AS_LINUX_CONFIG_OPTION_MODULE(CONFIG_ISA)
 AS_LINUX_CONFIG_OPTION_MODULE(CONFIG_PCI)
 AS_LINUX_CONFIG_OPTION_MODULE(CONFIG_USB)
-#AM_CONDITIONAL(CONFIG_PCMCIA,false)
 
 AC_DEFINE(CONFIG_COMEDI_DEBUG, true, [Define if debugging is enabled])
 AC_DEFINE(CONFIG_COMEDI_8255, true, [Define if 8255 support is enabled])