configure.ac
changeset 569 87dd7f374593
parent 568 3edb8f45bdc1
child 570 474f9d643372
equal deleted inserted replaced
568:3edb8f45bdc1 569:87dd7f374593
   107 fi
   107 fi
   108 
   108 
   109 AC_MSG_RESULT([$kernel8139too])
   109 AC_MSG_RESULT([$kernel8139too])
   110 
   110 
   111 #------------------------------------------------------------------------------
   111 #------------------------------------------------------------------------------
       
   112 # Disable e100
       
   113 #------------------------------------------------------------------------------
       
   114 
       
   115 AC_ARG_ENABLE([e100],
       
   116     AS_HELP_STRING([--enable-e100],
       
   117                    [Enable e100 driver]),
       
   118     [
       
   119         case "${enableval}" in
       
   120             yes) enablee100=1
       
   121                 ;;
       
   122             no) enablee100=0
       
   123                 ;;
       
   124             *) AC_MSG_ERROR([Invalid value for --enable-e100])
       
   125                 ;;
       
   126         esac
       
   127     ],
       
   128     [enablee100=0]
       
   129 )
       
   130 
       
   131 #------------------------------------------------------------------------------
   112 # e100 Kernel
   132 # e100 Kernel
   113 #------------------------------------------------------------------------------
   133 #------------------------------------------------------------------------------
   114 
   134 
   115 AC_ARG_WITH([e100-kernel],
   135 AC_ARG_WITH([e100-kernel],
   116     AC_HELP_STRING(
   136     AC_HELP_STRING(
   123     [
   143     [
   124         kernele100=$linuxversion
   144         kernele100=$linuxversion
   125     ]
   145     ]
   126 )
   146 )
   127 
   147 
   128 AC_MSG_CHECKING([for kernel for e100 driver])
   148 if test ${enablee100} -eq 1; then
   129 
   149     AC_MSG_CHECKING([for kernel for e100 driver])
   130 kernels=`ls -1 devices/ | grep -oE "^e100-.*-" | cut -d "-" -f 2 | uniq`
   150 
   131 found=0
   151     kernels=`ls -1 devices/ | grep -oE "^e100-.*-" | cut -d "-" -f 2 | uniq`
   132 for k in $kernels; do
   152     found=0
   133     if test "$kernele100" = "$k"; then
   153     for k in $kernels; do
   134         found=1
   154         if test "$kernele100" = "$k"; then
   135     fi
   155             found=1
   136 done
   156         fi
   137 if test $found -ne 1; then
   157     done
   138     AC_MSG_ERROR([kernel $kernele100 not available for e100 driver!])
   158     if test $found -ne 1; then
   139 fi
   159         AC_MSG_ERROR([kernel $kernele100 not available for e100 driver!])
   140 
   160     fi
   141 AC_MSG_RESULT([$kernele100])
   161 
       
   162     AC_MSG_RESULT([$kernele100])
       
   163 fi
   142 
   164 
   143 #------------------------------------------------------------------------------
   165 #------------------------------------------------------------------------------
   144 # RTAI path (optional)
   166 # RTAI path (optional)
   145 #------------------------------------------------------------------------------
   167 #------------------------------------------------------------------------------
   146 
   168 
   230 
   252 
   231 cat > config.kbuild <<EOF
   253 cat > config.kbuild <<EOF
   232 # config.kbuild - created by configure
   254 # config.kbuild - created by configure
   233 EC_DBG_IF := ${dbg}
   255 EC_DBG_IF := ${dbg}
   234 EC_8139TOO_KERNEL := ${kernel8139too}
   256 EC_8139TOO_KERNEL := ${kernel8139too}
       
   257 ENABLE_E100 := ${enablee100}
   235 EC_E100_KERNEL := ${kernele100}
   258 EC_E100_KERNEL := ${kernele100}
   236 EC_RTAI_DIR := "${rtaidir}"
   259 EC_RTAI_DIR := "${rtaidir}"
   237 EC_MSR_DIR := "${msrdir}"
   260 EC_MSR_DIR := "${msrdir}"
   238 EOF
   261 EOF
   239 
   262