Could not find Eclipse Equinox launcher jar... when lauching sireumdev

[magicislab]

Hi, fengguo. I was trying to build up development platform as manual said. When it came to the third step "Launch Eclipse", it came up with following error: How could i solve such problem? Actually I tried to update the sireum, because I thought maybe there existed some plugins or folders that did not download from the sireum server. However, it implies that there is no update.

[fgwei]

The thing is probably the download is broken. So you need to do a sireum uninstall all Then download again. I don't know what happened to the university server recently, the downloading is not very stable.

[magicislab]

Ok, thanks.