(2).eclipseにおいてビルドパスを通すにはどうすべきか？
大雑把な方針や、参考となるURLなどでも良いので教えて頂けると幸いです。（プロジェクトの詳細が分からずとも答えて頂けるように配慮しておりますが、不足する点がありましたらご連絡下さい。）
環境1.ubuntu上
環境2.windows_eclipse
ファイル構成
-java_orig
-jpf-core
-src/main/gov/nasa/jpf/search(参照したいパッケージ)
-src/main/gov/nasa/jpf/vm(参照したいパッケージ)
-jpf-symbc
-build.xml(カレントフォルダ)
-nbproject/ide-file-targets.xml
-nbproject/project.xml
実際のファイル構成詳細：https://www.dropbox.com/sh/ncfru80csdn77tp/AACN_tG2kgOIpqz75ETt4AQFa?dl=0
[経緯]
環境.2でeclipse(marcurial-tortoisehg)を経由し、jpf-core,jpf-symbcプロジェクトをインポート。jpf-symbcプロジェクトを利用する際に、jpf-coreプロジェクトの一部を利用する形である。(http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/docのInstructionsパラグラフより)
※補足にエラー内容と、試した事などを記載させて頂きます。
しかし、eclipse上でインポートしアントすると下記エラーが発生した。
13
0
Buildfile: C:\Users\mar\Dropbox\java\jpf-symbc\build.xml
-init:
-compile-annotations:
-compile-main:
～省略～
[javac] java_orig\jpf-symbc\src\main\gov\nasa\jpf\symbc\GreenListener.java:4: エラー: パッケージgov.nasa.jpf.searchは存在しません
[javac] import gov.nasa.jpf.search.Search;
～省略～
[javac] java_orig\jpf-symbc\src\main\gov\nasa\jpf\symbc\HeuristicListener.java:29: エラー: パッケージgov.nasa.jpf.vmは存在しません
[javac] import gov.nasa.jpf.vm.ChoiceGenerator;
[試した事]
一方環境.1にファイルをそのままコピーし、アントを実行するとビルドは成功する。
eclipseのビルドパスに問題があるのではないかと考え、
(1).Linux上で成功した理由を探るべくビルドパスを追ってみると共に、
(2).jpf-symbcプロジェクトを右クリックしプロパティ→Javaのビルド・パス→ソースにUsers/mar/Dropbox/java_orig/jpf-core/src/mainと追加するもうまく行かず、質問させて頂く事となりました。
なお(1).については
java_orig\jpf-symbc\nbproject\ide-file-targets.xml1(21行目）より
<sourcepath id="source.path">
<pathelement location="src/main"/>
<!-- we don't have these
<pathelement location="src/peers"/>
-->
<pathelement path="${jpf-core}/src/main;${jpf-core}/src/peers"/> ←ココ！
</sourcepath>
上記の${jpf-core}についてはjava_orig\jpf-symbc\build.xml(28行目)より
<!-- if there is none, default to a 'jpf-core' peer dir -->
<property name="jpf-core" value = "../jpf-core"/> ←ココ！
<!-- get the jpf-core path properties -->
<property file="${jpf-core}/jpf.properties"/>
そしてide-file-targets.xmlはjava_orig\project.xmlにのみ読み込まれていて、コンパイル時に関係あるかどうかわかりませんが
<action name="test">
<script>nbproject/ide-file-targets.xml</script>
<target>test-project</target>
<action>
上記形式で扱われていました。
ただ、これがビルド時に、どのようにbuild.xmlと関係あるかについては追えていません。
No.1
21
9
* (1).javaプロジェクト(jpf-core,jpf-symbc)において、ビルドパスはどのように設定されているのか？
Eclipse 上でプロジェクトを右クリックして、Properties > Java Build Path で確認できます。
* (2).eclipseにおいてビルドパスを通すにはどうすべきか？
以下のように jpf-core, jpf-symbc の Java Build Path を設定すれば Eclipse のクラスの参照周りでのエラーが出なくなります。
jpf-core, jpf-symbc の ant でのビルドについては最初から正しく設定されています。
1
1
1
んー、どうしてでしょうね。検討が付かなくなりました。
2014/12/29 17:06:08お手数おかけして申し訳ありません。
2014/12/29 20:20:07ツール導入をし、ご回答頂きありがとうございました！