PLAYERDRIVER_OPTION (robotino build_robotino ON)
PLAYERDRIVER_REQUIRE_HEADER (robotino build_robotino robotinocom.h)
PLAYERDRIVER_REQUIRE_HEADER (robotino build_robotino xtimer.h)
PLAYERDRIVER_REQUIRE_HEADER (robotino build_robotino xthread.h)
IF (PTHREAD_LIB)
    SET (PTHREAD_LIB_FLAG "-l${PTHREAD_LIB}")
ENDIF (PTHREAD_LIB)
PLAYERDRIVER_ADD_DRIVER (robotino build_robotino LINKFLAGS -lxtimer -lrobotinocom -lxthread ${PTHREAD_LIB_FLAG} robotino_driver.cc)
