ruzxa回答ポイント なしウォッチ

(1).javaプロジェクト(jpf-core,jpf-symbc)において、ビルドパスはどのように設定されているのか?

(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パラグラフより)


※補足にエラー内容と、試した事などを記載させて頂きます。

ログインして回答する

みんなの回答

この質問へのコメント

コメントはありません

この質問への反応(ブックマークコメント)

質問の情報

登録日時
2014-12-28 19:15:33
終了日時
2014-12-31 21:39:11
回答条件
1人5回まで 13歳以上

この質問のカテゴリ

この質問に含まれるキーワード

build.xml10Ubuntu323Java1731eclipse379XML844NASA41VM68IDE218インポート706SRC250URL11376ビルド208パラグラフ12方針38

人気の質問

メニュー

PC版