]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: use python2 in catkin_make
authorSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:04:25 +0000 (17:04 +0000)
committerSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:04:25 +0000 (17:04 +0000)
zsh/aliases/ros.zsh [new file with mode: 0644]

diff --git a/zsh/aliases/ros.zsh b/zsh/aliases/ros.zsh
new file mode 100644 (file)
index 0000000..0cdef45
--- /dev/null
@@ -0,0 +1,3 @@
+# use python2
+alias catkin_make='catkin_make -DPYTHON_EXECUTABLE=/usr/bin/python2 -DPYTHON_INCLUDE_DIR=/usr/include/python2.7 -DPYTHON_LIBRARY=/usr/lib/libpython2.7.so'
+alias catkin_make_isolated='catkin_make_isolated -DPYTHON_EXECUTABLE=/usr/bin/python2 -DPYTHON_INCLUDE_DIR=/usr/include/python2.7 -DPYTHON_LIBRARY=/usr/lib/libpython2.7.so'