configure.ac
changeset 568 3edb8f45bdc1
parent 565 f42e077f3565
child 569 87dd7f374593
equal deleted inserted replaced
567:0846af24f1dd 568:3edb8f45bdc1
   107 fi
   107 fi
   108 
   108 
   109 AC_MSG_RESULT([$kernel8139too])
   109 AC_MSG_RESULT([$kernel8139too])
   110 
   110 
   111 #------------------------------------------------------------------------------
   111 #------------------------------------------------------------------------------
       
   112 # e100 Kernel
       
   113 #------------------------------------------------------------------------------
       
   114 
       
   115 AC_ARG_WITH([e100-kernel],
       
   116     AC_HELP_STRING(
       
   117         [--with-e100-kernel=<X.Y.Z>],
       
   118         [e100 kernel (only if differing)]
       
   119     ),
       
   120     [
       
   121         kernele100=[$withval]
       
   122     ],
       
   123     [
       
   124         kernele100=$linuxversion
       
   125     ]
       
   126 )
       
   127 
       
   128 AC_MSG_CHECKING([for kernel for e100 driver])
       
   129 
       
   130 kernels=`ls -1 devices/ | grep -oE "^e100-.*-" | cut -d "-" -f 2 | uniq`
       
   131 found=0
       
   132 for k in $kernels; do
       
   133     if test "$kernele100" = "$k"; then
       
   134         found=1
       
   135     fi
       
   136 done
       
   137 if test $found -ne 1; then
       
   138     AC_MSG_ERROR([kernel $kernele100 not available for e100 driver!])
       
   139 fi
       
   140 
       
   141 AC_MSG_RESULT([$kernele100])
       
   142 
       
   143 #------------------------------------------------------------------------------
   112 # RTAI path (optional)
   144 # RTAI path (optional)
   113 #------------------------------------------------------------------------------
   145 #------------------------------------------------------------------------------
   114 
   146 
   115 AC_ARG_WITH([rtai-dir],
   147 AC_ARG_WITH([rtai-dir],
   116     AC_HELP_STRING(
   148     AC_HELP_STRING(
   198 
   230 
   199 cat > config.kbuild <<EOF
   231 cat > config.kbuild <<EOF
   200 # config.kbuild - created by configure
   232 # config.kbuild - created by configure
   201 EC_DBG_IF := ${dbg}
   233 EC_DBG_IF := ${dbg}
   202 EC_8139TOO_KERNEL := ${kernel8139too}
   234 EC_8139TOO_KERNEL := ${kernel8139too}
       
   235 EC_E100_KERNEL := ${kernele100}
   203 EC_RTAI_DIR := "${rtaidir}"
   236 EC_RTAI_DIR := "${rtaidir}"
   204 EC_MSR_DIR := "${msrdir}"
   237 EC_MSR_DIR := "${msrdir}"
   205 EOF
   238 EOF
   206 
   239 
   207 #------------------------------------------------------------------------------
   240 #------------------------------------------------------------------------------