configure
changeset 736 a915095ab9e7
parent 698 a0b50d6ce746
child 749 5cbb8e9ad67c
--- a/configure	Tue Jun 12 00:13:39 2012 +0200
+++ b/configure	Tue Jun 12 01:06:38 2012 +0200
@@ -88,7 +88,7 @@
 rm -f $test $test.c
 
 if [ "$XENO_CONFIG" = "" ]; then
-	XENO_CONFIG=/usr/xenomai/bin/xeno-config
+	XENO_CONFIG=xeno-config
 fi
 
 if [ "$RTAI_CONFIG" = "" ]; then
@@ -482,9 +482,8 @@
 fi
 
 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
-	RT_LIB_DIR=`$XENO_CONFIG --library-dir`\ -Wl,-rpath\ `$XENO_CONFIG --library-dir`
-    SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --xeno-ldflags`\ -L$RT_LIB_DIR\ -lnative\ -lrtdm
-	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --xeno-cflags`
+    SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ `$XENO_CONFIG --skin=native --ldflags`\ -lrtdm
+	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ -DUSE_XENO\ `$XENO_CONFIG --skin=rtdm --cflags`
     RTCAN_SOCKET=1
 fi