search

sireum / archived-v2-amandroid

34 stars 16 forks source link

bundle 'org sireum' cannot be resolved #41

Closed magicyb closed 9 years ago

magicyb commented 9 years ago

Hi, fengguo. Thanks for your hard work on this project. Similar like CoolDeveloper1, I also hope to use Amandroid as a platform to build further analysis and useful plugins. I am testing the shortcake stable branches on Mac OSX 10.10 laptop. However, I encountered some problem. I followed the instructions from the doc chapter 2.1, and imported the source of Amandroid into Eclipse. When building the project, it encountered one error. screen shot 2015-06-17 at 4 27 56 pm So I really hope to understand how to solve such issue? Thanks a lot!

fgwei commented 9 years ago

Oh that is a new project (sireum-jawa-compiler) I am doing, and you don't need that to run amandroid.

magicyb commented 9 years ago

Hi, fengguo. You mean that I do not need to import files from project(sireum-java-compiler). That's right?

fgwei commented 9 years ago

yes

magicyb commented 9 years ago

Thanks!

fgwei commented 9 years ago

NP : P