Difference between revisions of "Download"

From BP Wiki
Jump to: navigation, search
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
= Download and Installation =
 
= Download and Installation =
  
*IDE: BPJ does not require any special environment. E.g., the library and examples can be used with the latest version of Eclipse.
+
*Operating System:
** Download Eclipse classic for Java from http://www.eclipse.org/ .
+
** 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.
 
** Extract the downloaded files – no installation is needed.
*BPJ: Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJZip.zip  BPJzip.zip]
+
*Downloading and Configuring BPJ:
*In Eclipse, import the BPJCore110 project
+
** Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJ.zip  BPJ.zip]
*File Import General Existing Project into Work Space BPJCore110
+
** In Eclipse, import the project BPJCore110 as follows:
Rebuild the project.
+
*** File -> Import -> General -> Existing Project into Work Space -> BPJCore110
*Import run configurations (optional for running model-checking examples)
+
** Rebuild the project.
File Import Run/Debug   .... �Select all available configurations
+
** Import run configurations (optional -- Required mainly for running model-checking examples):
 
+
*** File -> Import -> Run/Debug. Then select all available configurations
So far – BPJ was tested only on Windows
+

Latest revision as of 08:38, 12 May 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 BPJ.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