Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failed to install eclipse plugin from update site #219

Open
mht208 opened this issue Mar 10, 2020 · 3 comments
Open

Failed to install eclipse plugin from update site #219

mht208 opened this issue Mar 10, 2020 · 3 comments

Comments

@mht208
Copy link

mht208 commented Mar 10, 2020

Hi,

I tried to follow the instructions in https://github.com/javapathfinder/jpf-core/wiki/Eclipse-Plugin to install the eclipse plugin. However, after adding the update site http://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/projects/eclipse-jpf/update, eclipse popped a window asking me a login name and a password. I tried guest but failed. Is the update site available to the public? I also tried to search for the file eclipse-jpf_.jar but failed again. Build the plugin from source code did not work as well. A user name and a password are required to clone the eclipse-jpf source repository http://babelfish.arc.nasa.gov/hg/jpf/eclipse-jpf.

@sushil579
Copy link

The plugin is no longer maintained.
If you want to run JPF from eclipse, you can run with configuration run-JPF (or run-SPF to run SPF)

@sushil579
Copy link

http://javapathfinder.sourceforge.net/. try this

@Abhishekverma2002
Copy link

I want to know why this issue is still open. Would love to contribute if there is anything I can do. @mht208

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants