JmlEclipseHowToExport

How To Export [JmlEclipse] and its Runtime JAR

[JmlEclipse]

• Follow the simple instructions under source:JmlEclipse/trunk/org.jmlspecs.eclipse.patch/build-notes.txt.

Note that if the plug-in dependencies change for any of the patched plug-ins, then a new build-custom.xml will need to be regenerated by:

• Right-click on the plug-in's MANIFEST.MF file and select "PDE Tools" >> "Create Ant Build File".
• This will create build.xml which will need to be customized like the current build-custom.xml for that plug-in.

Runtime JAR

• From within Eclipse, open jmleclipse-utils/bin/jml-runtime.jardesc. You might have to right-click and select the JAR Export Wizard.
• Click finish.
• The JAR file will saved as jmleclipse-utils/lib/jml-runtime.jar.