ros-planning/navigation — pull request #296 by garyservin (2014-12-23 15:18:13+00:00)
Title: Add ARCHIVE_DESTINATION for static builds

This is required for building static libraries, e.g. for Android