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.
StatET/Development Environment
Revision as of 08:52, 12 October 2020 by Sw.wahlbrink.eu (Talk | contribs) (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...")
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.