Commit Graph

1 Commits

Author SHA1 Message Date
Juan C. Santamaria
ea720bbf59 [ompl] Add new port ()
* [ompl] Add new port

Add new port for the https://github.com/ompl/ompl library

* [ompl] Disable extra components

* [ompl] Disable buggy CMake test
2019-02-20 10:23:21 -08:00