`(blog ,garaemon)

ポップカルチャーを摂取して、コードを吐き出す機械

ros

catkin profileが便利

catkin tools (catkinコマンド)を用いてソースコードをビルドする時に、ビルドオプションを変更したいことがあります。 たとえば、RelaseビルドとDebugビルドを切り替えたいときです。 このようなビルドオプションの切り替えには、catkin profileの機能が便…

catkin toolsでcompile_commands.jsonを生成する

ROSのパッケージをビルドするときにcatkin tools (catkin_makeではなくてcatkinコマンド)を利用してcompile_commands.jsonを生成するために、シェル関数を~/.bashrcとか~/.zshrcに定義しておくと便利。 開発時は定期的に気が向いたら実行する。 compile_comm…

emacsからcatkin buildを走らせる

emacs編集中に, ターミナルに移動することなくcatkin buildを走らせられると便利. (defun ros-catkin-make (dir) "Run catkin_make command in DIR." (interactive (list default-directory)) ;; clear compilation buffer first not to occupy memory space…