[choreonoid-users-ja 00091] プラグインを置くディレクトリについて

[k-kojima (imi)]

東京大学の小島です

公式ホームページのプラグインの説明に
「まず、プラグイン用の追加のソースを置くディレクトリは、Choreonoidソースの”extplugin”ディレクトリとしています。
従って、まずこのディレクトリ以下に追加プラグイン用のサブディレクトリを作成し、そこにプラグインのソースやビルド設定を記述したCMakeLists.txtを格納するようにしてください。」
とありますが、
開発するにあたって、svn等でプラグインソースを管理するため、プラグインのディレクトリをchoroenoidとは関係ない別のところに置きたい思います。

プラグインの開発経験が浅く、一般的にどうするべきなのか分かりません。
プラグインを開発している方々はどのように管理していらっしゃるのでしょうか。
また、choreonoidのcmake等で設定すれば可能なのでしょうか。

よろしくお願いいたします。

--
_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
東京大学　大学院
情報理工学系研究科　知能機械情報学専攻
小島　邦生　(KOJIMA KUNIO)
k-kojima ＠ jsk.imi.i.u-tokyo.ac.jp
Tel 03-5841-7416
Fax 03-5841-6285
携帯 090-4501-5285
_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/