diff --git a/dev-ros/roslib/files/envhook.patch b/dev-ros/roslib/files/envhook.patch new file mode 100644 index 0000000000000..d4e24e937351f --- /dev/null +++ b/dev-ros/roslib/files/envhook.patch @@ -0,0 +1,34 @@ +Use env python for running python so that it uses the proper version on Gentoo. +Honour CATKIN_PREFIX_PATH gentoo addition. + +Index: roslib/env-hooks/10.ros.sh.em +=================================================================== +--- roslib.orig/env-hooks/10.ros.sh.em ++++ roslib/env-hooks/10.ros.sh.em +@@ -1,8 +1,5 @@ + # generated from ros/env-hooks/10.ros.sh.em + +-# scrub old ROS bin dirs, to avoid accidentally finding the wrong executables +-export PATH="`@(PYTHON_EXECUTABLE) -c \"import os; print(os.pathsep.join([x for x in \\\"$PATH\\\".split(os.pathsep) if not any([d for d in ['cturtle', 'diamondback', 'electric', 'fuerte'] if d in x])]))\"`" +- + @{ + # This is a build-time environment variable which allows a build engineer to override the expected + # ROS_DISTRO value for a workspace, for example to deliberately use a newer version of roslib with +@@ -19,7 +16,7 @@ export ROS_DISTRO=@(ROS_DISTRO) + PYTHON_CODE_BUILD_ROS_PACKAGE_PATH=$(cat <