About Amandroid setup -- Java compiler version

[lannan]

After I imported the Sireum repositories and Amandroid repository , there are many errors mark, The tutorial ("http://amandroid.sireum.org/docs/tutorial.html") says that "Just make sure you are using correct Java compiler version, and then clean all projects."

I am not sure which Java compiler version is correct?

Thanks.

[fgwei]

Now by default it will use the correct version which is 1.8. Or you can make a scrren shot to me to show your problems.

[lannan]

I tried version 1.8, 1.7. But still did not work...

[lannan]

It seems only Sireum Parser is successfully imported. But others are not.

[fgwei]

This is some problem with scala dependence. You can delete all the projects (don't delete from disk, just from eclipse). Than re import in order of prelude, parser, core, jawa, amandroid

[lannan]

Thanks! I import them orderly.

But there is only one project not work. see the screenshot. Others are fine now.

[lannan]

the jawa project cannot successfully imported. others are fine now.

[fgwei]

Can you show me the error description page?

[lannan]

I am not sure whether this is the error description you want to check...

[lannan]

The log file is quite long...

Untitled.txt

[fgwei]

No, I means the Problems view :D

[lannan]

Is it this one?

[lannan]

[fgwei]

Are you using eclipse provided by sireum?

[lannan]

Yes. I followed the instruction in "http://amandroid.sireum.org/docs/tutorial.html#setup-sireum-cli"

and use "sireum launch sireumdev -j "-Xms256m,-Xmx2048m" --args -clean" to launch eclipse.

[lannan]

The way I set up the sireum-ide is: (1) download Sireum Shortcake; (2) set up the path in .bashrc as the website says; (3) run sireum, what I get is:

After that, I executed "sireum launch sireumdev -j "-Xms256m,-Xmx2048m" --args -clean".

Then download all the repos.

[fgwei]

for jawa and amandroid, you can pull the new code. It should remove some errors. And if there still some error showing, you can run: sireum list installed, and give a screen shot to me.

[lannan]

I pulled the two repos. But still did not work.

This is the screenshot after running "sireum list installed". Thanks!

[fgwei]

Now I see the problem. You are using sireum stable version. But that is 7 months old, and the current amandroid uses a lot of new libs in the dev version. (I will update the documentation soon and sorry for the confussion.)

Now you can follow my following steps:

1. Download http://sireum.org/software.html#vanilla "dev" version for your machine os.
2. You can replace your current sireum with the newly downloaded one.
3. run: sireum install "Sireum Amandroid Cli"
4. run: sireum launch sireumdev -j "-Xms256m,-Xmx2048m"
5. Set work space points to your current amandroid workspace.

[lannan]

Thanks a lot for your patience. I did the instructions you said. And there is only one project (sireum-jawa-test, under jawa repo) cannot be imported successfully.

How to solve it? Thanks a lot!

[fgwei]

Just do a pull again on jawa and amandroid :P

[lannan]

Great! solved! Thanks so much for your help and patience!

[fgwei]

Normally I will work on develop branch or some topic branches. So if you want to contribute something please follow https://help.github.com/articles/fork-a-repo/

[lannan]

great. I will follow it.