Want more features on Pastebin? Sign Up, it's FREE!
Guest

Untitled

By: a guest on Jun 1st, 2012  |  syntax: None  |  size: 2.53 KB  |  views: 46  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1.  
  2.  
  3.  
  4. { $as_echo "$as_me:$LINENO: checking for RT-extension" >&5
  5. $as_echo_n "checking for RT-extension... " >&6; }
  6.  
  7. if test "${CONFIG_RTNET_RTEXT_CLASSIC}" = "y"; then
  8.     RTAI_CONFIG="${CONFIG_RTNET_RTEXT_DIR}/bin/rtai-config"
  9.     if test -x "${RTAI_CONFIG}"; then
  10.         RTAI_DIR="`cd ${CONFIG_RTNET_RTEXT_DIR} && pwd`"   # let the shell normalize the path
  11.         XENO_DIR=""
  12.         { $as_echo "$as_me:$LINENO: result: ${RTAI_DIR} (RTAI)" >&5
  13. $as_echo "${RTAI_DIR} (RTAI)" >&6; }
  14.     else
  15.         XENO_CONFIG="${CONFIG_RTNET_RTEXT_DIR}/bin/xeno-config"
  16.         if test -x "${XENO_CONFIG}"; then
  17.             RTAI_DIR=""
  18.             XENO_DIR="`cd ${CONFIG_RTNET_RTEXT_DIR} && pwd`"   # let the shell normalize the path
  19.             { $as_echo "$as_me:$LINENO: result: ${XENO_DIR} (Xenomai 2.0.x)" >&5
  20. $as_echo "${XENO_DIR} (Xenomai 2.0.x)" >&6; }
  21.         else
  22.             { { $as_echo "$as_me:$LINENO: error: *** No RT-extension found in $CONFIG_RTNET_RTEXT_DIR" >&5
  23. $as_echo "$as_me: error: *** No RT-extension found in $CONFIG_RTNET_RTEXT_DIR" >&2;}
  24.    { (exit 1); exit 1; }; }
  25.         fi
  26.     fi
  27. else
  28.     RTAI_DIR=""
  29.     XENO_DIR=""
  30.  
  31.  
  32. # Check whether --with-linux was given.
  33. if test "${with_linux+set}" = set; then
  34.   withval=$with_linux; case "${withval}" in
  35.             "" | y | ye | yes | n | no)
  36.                 { { $as_echo "$as_me:$LINENO: error: You must supply an argument to --with-linux." >&5
  37. $as_echo "$as_me: error: You must supply an argument to --with-linux." >&2;}
  38.    { (exit 1); exit 1; }; } ;;
  39.             *)
  40.                 CONFIG_RTNET_LINUX_DIR="`cd ${withval} && pwd`" ;;  # let the shell normalize the path
  41.         esac
  42. fi
  43.  
  44.  
  45.     # get linux kernel tree and version
  46.     RTEXT_LINUX_DIR="${CONFIG_RTNET_LINUX_DIR}"
  47.     if test -L ${RTEXT_LINUX_DIR}/source; then
  48.         RTEXT_LINUX_SRC_DIR="`cd ${RTEXT_LINUX_DIR}/source && pwd`"
  49.     else
  50.         RTEXT_LINUX_SRC_DIR=${RTEXT_LINUX_DIR}
  51.     fi
  52.     LINUX_RELEASE_FILE=${RTEXT_LINUX_DIR}/include/linux/utsrelease.h
  53.     if test \! -f $LINUX_RELEASE_FILE; then
  54.         LINUX_RELEASE_FILE=${RTEXT_LINUX_DIR}/include/linux/version.h
  55.     fi
  56.     RTEXT_LINUX_VERSION=`grep "#define UTS_RELEASE" $LINUX_RELEASE_FILE 2>/dev/null | sed -e 's/[^\"]*\"\([^\"]*\)\"/\1/'`
  57.  
  58.     if test \! -f ${RTEXT_LINUX_SRC_DIR}/include/xenomai/nucleus/version.h; then
  59.         { { $as_echo "$as_me:$LINENO: error: *** RT-extended kernel not found in $RTEXT_LINUX_DIR" >&5
  60. $as_echo "$as_me: error: *** RT-extended kernel not found in $RTEXT_LINUX_DIR" >&2;}
  61.    { (exit 1); exit 1; }; }
  62.     fi
clone this paste RAW Paste Data