aboutsummaryrefslogtreecommitdiff
path: root/ports/ompl
AgeCommit message (Expand)Author
2021-09-09Bulk convert control files. (#19986)Billy O'Neal
2021-07-22[ompl] Fix linking using ${OMPL_LIBRARIES} (#18908)Akash
2020-12-23[ompl] upgrade to v1.5.1 (#15276)Sean Yen
2020-10-27[ompl] Fix dependency issue (#14250)Phoebe
2020-08-18[ompl]: upgrade to 1.5.0 (#11737)Mark Moll
2020-07-24[vcpkg/scripts/pkgconfig] rewrite pkg-config check for libraries (#11550)Alexander Neumann
2020-05-13[ompl] Fix patch apply error (#10972)Lily
2020-05-13[boost] update to 1.73.0 (#11221)yurybura
2020-04-21[ompl] Fix ompl[app] build error (#10854)Lily
2019-09-26[many ports] Warning to VCPKG long build path (#8331)Phoebe
2019-06-20[many ports] improvements for linux/wsl (#6730)Stefano Sinigardi
2019-05-16[boost] Update to 1.70.0 (#6141)Robert Schumacher
2019-04-25[ompl] update to version 1.4.2 (#6084)Mark Moll
2019-03-27[many ports]Add long path warningswangli28
2019-02-20[ompl] Add new port (#5350)Juan C. Santamaria