From d400322c663328d40106a17fcd7cbfddcb25e7de Mon Sep 17 00:00:00 2001
From: Frank Mori Hess <fmhess@speakeasy.net>
Date: Sat, 24 Jan 2004 21:24:24 +0000
Subject: [PATCH] add --disable-pcmcia configure option

---
 configure.ac | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/configure.ac b/configure.ac
index 7057f591..9b4a8028 100644
--- 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])
-- 
2.26.2