Difference between revisions of "Download"

From BP Wiki
Jump to: navigation, search
Line 15: Line 15:
 
** Import run configurations (optional -- Required mainly for running model-checking examples):
 
** Import run configurations (optional -- Required mainly for running model-checking examples):
 
*** File -> Import -> Run/Debug. Then select all available configurations
 
*** File -> Import -> Run/Debug. Then select all available configurations
 
 
----
 
[http://www.b-prog.org BP Web Site]
 

Revision as of 10:36, 16 January 2014

Download and Installation

  • Operating System:
    • Windows or Linux.
  • IDE Requirements:
    • BPJ does not depend on any specific environment. The library and examples can be used with the latest version of Eclipse, or in any other Java programming environment.
  • Downloading Eclipse:
    • Download Eclipse classic for Java from http://www.eclipse.org/.
    • Extract the downloaded files – no installation is needed.
  • Downloading and Configuring BPJ:
    • Download BPJzip.zip
    • In Eclipse, import the project BPJCore110 as follows:
      • File -> Import -> General -> Existing Project into Work Space -> BPJCore110
    • Rebuild the project.
    • Import run configurations (optional -- Required mainly for running model-checking examples):
      • File -> Import -> Run/Debug. Then select all available configurations