This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
dev:installation_for_developers [2019/10/02 11:53] – ursgraf | dev:installation_for_developers [2020/09/07 09:12] – 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 [[:download|Download]]. |
* 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 |