[Jderobot] Problemas con boost

[Borja Mon Serrano]

Hola de nuevo,

Dejo por aquí el parche [1], la revisión de jderobot que he utilizado ha
sido la 1106. Para los que queráis probarlo en la 12.04 de Ubuntu y no
sepáis cómo, es sencillo: copiar el parche en el directorio de plugins de
Gazebo y luego, dentro de plugins, ejecutad:

patch -p1 < plugins.patch

Esto cambiará los shared_*_cast a *_pointer_cast. Compiláis y probáis a
ejecutar un mundo de kinect o del pioneer. En la 13.10 de Ubuntu compila y
ejecuta sin problemas :)

Un saludo,

Borja.

[1] - http://jderobot.org/store/bmenendez/uploads/plugins.patch
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: http://gsyc.escet.urjc.es/pipermail/jde-developers/attachments/20131114/d72a1985/attachment.htm