Difference between revisions of "Download"
From BP Wiki
| (8 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
= Download and Installation = | = Download and Installation = | ||
| − | *IDE: BPJ does not | + | *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/ | + | *Downloading and Configuring BPJ: |
| − | *In | + | ** Download [http://www.wisdom.weizmann.ac.il/~bprogram/code/BPJ.zip BPJ.zip] |
| − | *File | + | ** 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 configurations (optional -- Required mainly for running model-checking examples): |
| − | + | *** File -> Import -> Run/Debug. Then select all available configurations | |
| − | + | ||
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
