Developer FAQ

From Wiki.overturetool.org

Jump to: navigation, search

Contents

How can I get the sources of the Overture platform

The source code is located at SourceForge. How to get it is described at Overture Sourceforge

How do I import the platform into Eclipse

The source is organized in Maven 2 artifacts so please insure to have the required plug-ins installed in Eclipse before importing see Development Environment. The import procedure is described in the page Building the Overture Platform in Eclipse.

How to build Overture headless?

When releasing the Overture IDE the Overture team builds platform headless rather than using the the Eclipse export product feature. The headless build is done by batch / shell and described in Building Overture Headless

How do I collect debug information from the Overture platform?

You may see the log in the console by appending -consoleLog to the rodin executable: rodin -consoleLog

How do I report a bug

See Bugs and Feature Requests.

Personal tools