Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- { $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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement