dev:installation_for_developers
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| dev:installation_for_developers [2015/03/20 10:45] – ursgraf | dev:installation_for_developers [2022/02/24 13:34] (current) – ursgraf | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Installation for Developers ====== | ====== Installation for Developers ====== | ||
| Setup the development environment according to the following steps. | Setup the development environment according to the following steps. | ||
| - | * Make sure you have the JDK and eclipse installed as described in [[:getting_started|Getting started. | + | * Make sure you have the JDK and eclipse installed as described in [[:installation|Download and Installation]]. eclipse must have plug-in development environment (PDE) installed. |
| * Checkout from GIT repositories from [[https:// | * Checkout from GIT repositories from [[https:// | ||
| - deep plugin with compiler, linker and launcher | - deep plugin with compiler, linker and launcher | ||
| - deep runtime library | - deep runtime library | ||
| - | * The deep plugin includes compiler test cases. These test cases need a special test framework in oder to be able to be excecuted. As this framework is currently not included in the repository, please exclude the source folder '' | ||
| - | * The deep target lib includes target lib test cases. These test cases need a special test framework in order to be able to be excecuted. As this framework is currently not included in the repository, please exclude the source folder '' | ||
| Now you can use the plugin together with the target library as any other eclipse plugin under development. | Now you can use the plugin together with the target library as any other eclipse plugin under development. | ||
dev/installation_for_developers.1426844710.txt.gz · Last modified: 2016/02/25 13:33 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
