|
4 | 4 |
|
5 | 5 | This repository is used to automatically build an Eclipse [eMoflon](https://github.com/eMoflon/emoflon-ibex) environment.
|
6 | 6 |
|
7 |
| -| Name | OS | eMoflon installed | Dark theme installed | Splash image | Pattern matcher | |
8 |
| -|--------------------------|---------|--------------------|----------------------|--------------------|-----------------| |
9 |
| -| Eclipse eMoflon user | Linux | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | |
10 |
| -| Eclipse eMoflon dev | Linux | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | |
11 |
| -| Eclipse eMoflon user CI | Linux | :heavy_check_mark: | | | HiPE | |
12 |
| -| Eclipse eMoflon dev CI | Linux | | | | HiPE, *) | |
13 |
| -| Eclipse eMoflon dev HiPE | Linux | | :heavy_check_mark: | :heavy_check_mark: | *) | |
14 |
| -| Eclipse eMoflon user | Windows | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | |
15 |
| -| Eclipse eMoflon dev | Windows | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | |
16 |
| -| Eclipse eMoflon dev HiPE | Windows | | :heavy_check_mark: | :heavy_check_mark: | *) | |
17 |
| -| Eclipse eMoflon user | macOS | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | |
18 |
| -| Eclipse eMoflon dev | macOS | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | |
19 |
| -| Eclipse eMoflon dev HiPE | macOS | | :heavy_check_mark: | :heavy_check_mark: | *) | |
| 7 | +| Name | OS | eMoflon installed | Dark theme installed | Splash image | Pattern matcher | Additional packages | |
| 8 | +|--------------------------|---------|--------------------|----------------------|--------------------|-----------------|---------------------| |
| 9 | +| Eclipse eMoflon user | Linux | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | :heavy_check_mark: | |
| 10 | +| Eclipse eMoflon dev | Linux | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | :heavy_check_mark: | |
| 11 | +| Eclipse eMoflon user CI | Linux | :heavy_check_mark: | | | HiPE | | |
| 12 | +| Eclipse eMoflon dev CI | Linux | | | | HiPE, *) | | |
| 13 | +| Eclipse eMoflon dev HiPE | Linux | | :heavy_check_mark: | :heavy_check_mark: | *) | :heavy_check_mark: | |
| 14 | +| Eclipse eMoflon user | Windows | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | :heavy_check_mark: | |
| 15 | +| Eclipse eMoflon dev | Windows | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | :heavy_check_mark: | |
| 16 | +| Eclipse eMoflon dev HiPE | Windows | | :heavy_check_mark: | :heavy_check_mark: | *) | :heavy_check_mark: | |
| 17 | +| Eclipse eMoflon user | macOS | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE | :heavy_check_mark: | |
| 18 | +| Eclipse eMoflon dev | macOS | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) | :heavy_check_mark: | |
| 19 | +| Eclipse eMoflon dev HiPE | macOS | | :heavy_check_mark: | :heavy_check_mark: | *) | :heavy_check_mark: | |
20 | 20 |
|
21 | 21 | *) Democles will be installed manually via the [emoflon-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
|
22 | 22 | Furthermore, all pattern matcher integrations for eMoflon (HiPE and Democles) will be installed manually via the [emoflon-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
|
23 | 23 |
|
| 24 | +**Additional packages** are installed for every non-CI build. |
| 25 | +Currently, the list of additional packages includes: |
| 26 | +- [EclEmma](https://www.eclemma.org/) |
| 27 | +- [PMD](https://pmd.github.io/latest/index.html) |
| 28 | +- [Checkstyle](https://checkstyle.org/eclipse-cs/#!/) |
| 29 | +- [SpotBugs](https://spotbugs.github.io/https://spotbugs.github.io/) |
| 30 | + |
| 31 | +Feel free to request others, e.g., via Github issues. |
24 | 32 |
|
25 | 33 | ## Usage/Installation
|
26 | 34 |
|
|
0 commit comments