Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "StatET/Development Environment"
(Created page with "Information about development of StatET in the Eclipse IDE: See also https://projects.eclipse.org/projects/science.statet/developer === PDE Target Platform === The target fi...") |
(Add category "StatET") |
||
Line 5: | Line 5: | ||
=== PDE Target Platform === | === PDE Target Platform === | ||
The target files are located in <code>org.eclipse.statet/releng/target-eclipse.ide/</code>. The target <code>ws-eclipse.ide</code> is usually suitable for the development environment ("ws" = workspace). It includes the current Eclipse installation and uses the local third party in <code>org.eclipse.statet/3rdparty/_assemblies/repository/target/repository</code>. | The target files are located in <code>org.eclipse.statet/releng/target-eclipse.ide/</code>. The target <code>ws-eclipse.ide</code> is usually suitable for the development environment ("ws" = workspace). It includes the current Eclipse installation and uses the local third party in <code>org.eclipse.statet/3rdparty/_assemblies/repository/target/repository</code>. | ||
+ | |||
+ | |||
+ | [[Category:StatET]] |
Revision as of 08:53, 12 October 2020
Information about development of StatET in the Eclipse IDE:
See also https://projects.eclipse.org/projects/science.statet/developer
PDE Target Platform
The target files are located in org.eclipse.statet/releng/target-eclipse.ide/
. The target ws-eclipse.ide
is usually suitable for the development environment ("ws" = workspace). It includes the current Eclipse installation and uses the local third party in org.eclipse.statet/3rdparty/_assemblies/repository/target/repository
.