configure
changeset 403 57d5da3b6228
parent 400 7d845f5d730c
child 412 84867470a60c
--- a/configure	Tue Feb 19 14:53:39 2008 +0100
+++ b/configure	Tue Feb 19 14:53:59 2008 +0100
@@ -424,9 +424,10 @@
 fi
 
 if [ "$SUB_TIMERS_DRIVER" = "xeno" ]; then
-	SUB_EXE_CFLAGS=$SUB_EXE_CFLAGS\ -lnative\ -lrtdm\ -L`$XENO_CONFIG --library-dir`
+	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\ -lpcan
 	SUB_PROG_CFLAGS=$SUB_PROG_CFLAGS\ `$XENO_CONFIG --xeno-cflags`
-	RTCAN_SOCKET=1
+    RTCAN_SOCKET=1
 fi
 
 if [ "$SUB_TIMERS_DRIVER" = "kernel" ]; then