# Add tptp-models.jar to the Java build path.
* In the left pane, select Java Build Path.
* In the right pane, select the Libraries tab and click Add Variable... The New Variable Classpath Entry dialog appears.
* Select the ECLIPSE_HOME variable and click Extend... The Variable Extension dialog appears. Open the plugins > org.eclipse.tptp.platform.models_Version folder and select tptp-models.jar, where Version is your TPTP version number.
* Click OK to add the library.
# Add org.eclipse.emf.common_Version.jar to the Java build path, where Version is your EMF version.
* In the New Variable Classpath Entry dialog, select the ECLIPSE_HOME variable and click Extend...
* Open the plugins folder and select org.eclipse.emf.common_Version.jar, where Version is your EMF version.
* Click OK to add the library.
# Add org.eclipse.emf.ecore_Version.jar to the Java build path, where Version is your EMF version.
* In the New Variable Classpath Entry dialog, select the ECLIPSE_HOME variable and click Extend...
* Open the plugins folder and select org.eclipse.emf.ecore_Version.jar, where Version is your EMF version.
* Click OK to add the library.
# Add org.eclipse.core.runtime_Version.jar to the Java build path, where Version is your Eclipse platform version.
* In the New Variable Classpath Entry dialog, select the ECLIPSE_HOME variable and click Extend...
* Open the plugins folder and select org.eclipse.core.runtime_Version.jar, where Version is your Eclipse platform version.
* Click OK to add the library.
Partager