{ $as_echo "$as_me:$LINENO: checking for RT-extension" >&5
$as_echo_n "checking for RT-extension... " >&6; }
if test "${CONFIG_RTNET_RTEXT_CLASSIC}" = "y"; then
RTAI_CONFIG="${CONFIG_RTNET_RTEXT_DIR}/bin/rtai-config"
if test -x "${RTAI_CONFIG}"; then
RTAI_DIR="`cd ${CONFIG_RTNET_RTEXT_DIR} && pwd`" # let the shell normalize the path
XENO_DIR=""
{ $as_echo "$as_me:$LINENO: result: ${RTAI_DIR} (RTAI)" >&5
$as_echo "${RTAI_DIR} (RTAI)" >&6; }
else
XENO_CONFIG="${CONFIG_RTNET_RTEXT_DIR}/bin/xeno-config"
if test -x "${XENO_CONFIG}"; then
RTAI_DIR=""
XENO_DIR="`cd ${CONFIG_RTNET_RTEXT_DIR} && pwd`" # let the shell normalize the path
{ $as_echo "$as_me:$LINENO: result: ${XENO_DIR} (Xenomai 2.0.x)" >&5
$as_echo "${XENO_DIR} (Xenomai 2.0.x)" >&6; }
else
{ { $as_echo "$as_me:$LINENO: error: *** No RT-extension found in $CONFIG_RTNET_RTEXT_DIR" >&5
$as_echo "$as_me: error: *** No RT-extension found in $CONFIG_RTNET_RTEXT_DIR" >&2;}
{ (exit 1); exit 1; }; }
fi
fi
else
RTAI_DIR=""
XENO_DIR=""
# Check whether --with-linux was given.
if test "${with_linux+set}" = set; then
withval=$with_linux; case "${withval}" in
"" | y | ye | yes | n | no)
{ { $as_echo "$as_me:$LINENO: error: You must supply an argument to --with-linux." >&5
$as_echo "$as_me: error: You must supply an argument to --with-linux." >&2;}
{ (exit 1); exit 1; }; } ;;
*)
CONFIG_RTNET_LINUX_DIR="`cd ${withval} && pwd`" ;; # let the shell normalize the path
esac
fi
# get linux kernel tree and version
RTEXT_LINUX_DIR="${CONFIG_RTNET_LINUX_DIR}"
if test -L ${RTEXT_LINUX_DIR}/source; then
RTEXT_LINUX_SRC_DIR="`cd ${RTEXT_LINUX_DIR}/source && pwd`"
else
RTEXT_LINUX_SRC_DIR=${RTEXT_LINUX_DIR}
fi
LINUX_RELEASE_FILE=${RTEXT_LINUX_DIR}/include/linux/utsrelease.h
if test \! -f $LINUX_RELEASE_FILE; then
LINUX_RELEASE_FILE=${RTEXT_LINUX_DIR}/include/linux/version.h
fi
RTEXT_LINUX_VERSION=`grep "#define UTS_RELEASE" $LINUX_RELEASE_FILE 2>/dev/null | sed -e 's/[^\"]*\"\([^\"]*\)\"/\1/'`
if test \! -f ${RTEXT_LINUX_SRC_DIR}/include/xenomai/nucleus/version.h; then
{ { $as_echo "$as_me:$LINENO: error: *** RT-extended kernel not found in $RTEXT_LINUX_DIR" >&5
$as_echo "$as_me: error: *** RT-extended kernel not found in $RTEXT_LINUX_DIR" >&2;}
{ (exit 1); exit 1; }; }
fi