| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.ptp.ui.preferences.rmPreferencesPage.OpenMPI" |
| class="org.eclipse.ptp.rm.mpi.mpich2.ui.preferences.MPICH2PreferencePage" |
| id="org.eclipse.ptp.rm.openmpi.ui.preferences.OpenMPI12" |
| name="Open MPI 1.2"> |
| </page> |
| <page |
| category="org.eclipse.ptp.ui.preferences.rmPreferencesPage" |
| class="org.eclipse.ptp.rm.mpi.mpich2.ui.preferences.EmptyPage" |
| id="org.eclipse.ptp.ui.preferences.rmPreferencesPage.OpenMPI" |
| name="Open MPI"> |
| </page> |
| <page |
| category="org.eclipse.ptp.ui.preferences.rmPreferencesPage.OpenMPI" |
| class="org.eclipse.ptp.rm.mpi.mpich2.ui.preferences.MPICH213PreferencePage" |
| id="org.eclipse.ptp.rm.openmpi.ui.preferences.OpenMPI13" |
| name="Open MPI 1.3"> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.ptp.ui.rmConfigurations"> |
| <configurationWizard |
| class="org.eclipse.ptp.rm.mpi.mpich2.ui.wizards.MPICH2RMConfigurationWizardPageFactory" |
| id="org.eclipse.ptp.rm.mpich2.ui.configurationWizard"/> |
| </extension> |
| <extension |
| point="org.eclipse.ptp.launch.rmLaunchConfigurations"> |
| <launchConfiguration |
| class="org.eclipse.ptp.rm.mpi.mpich2.ui.launch.MPICH2RMLaunchConfigurationFactory" |
| id="org.eclipse.ptp.rm.mpich2.ui.launchConfiguration"/> |
| </extension> |
| </plugin> |