Number of commits found: 5
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
1.0.4 24 Nov 2019 19:53:40 |
pi |
merge duplicate ROS-related ports in devel and misc
There are currently duplicate ports for ROS:
devel/ros-console_bridge and misc/console-bridge
devel/ros-urdfdom and misc/urdfdom
devel/ros-urdfdom_headers and misc/urdfdom-headers
This patch merges the misc ports into the devel ports. The upshot
should be that the duplication and confusion is removed but we keep
the functionality.
PR: 241744
Submitted by: Trenton Schulz <trueos@norwegianrockcat.com> (maintainer)
Approved by: yuri (maintainer of the duplicate ports) |
1.0.4 06 Jul 2019 22:50:49 |
yuri |
misc/urdfdom-headers: Update 1.0.3 -> 1.0.4
Reported by: portscout |
1.0.3 31 Mar 2019 03:45:05 |
yuri |
misc/urdfdom-headers: Update 1.0.2 -> 1.0.3
Reported by: portscout |
1.0.2 25 Dec 2018 20:25:40 |
tcberner |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
1.0.2 20 Nov 2018 07:37:37 |
yuri |
New port: misc/urdfdom-headers: Unified Robot Description Format (URDF) parser
headers |
Number of commits found: 5
|