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