The best way to install the Maude Development Tools probably is to use our public update site (http://moment.dsic.upv.es/updates/). To install the plugins using this method you must follow the following steps:
Opening the Eclipse Update Manager.
Search for new features to install option.
Update sites window.
Adding a new update site.
Selection of the MOMENT Public Update Site.
Updates available at the MOMENT Public Update Site.
License agreement.
Features to install.
Beginning of the install process.
Install process progress information.
Installation finished.
If you would rather install the plugins manually, you have to decompress and copy the plugin files available at [http://moment.dsic.upv.es/mdt/] into the Eclipse folder. For example:
Given the following eclipse folder:
eclipse |--- configuration |- org.eclipse.core.runtime |- ... |--- features |- org.eclipse.jdt_3.0.1 |- org.eclipse.platform_3.0.1 |- ... |--- plugins |- org.apache.ant_1.6.2 |- org.apache.lucene_1.3.1 |- org.eclipse.ant.core_3.0.0 |- ... |--- readme |- ... ... |--- startup.jar ...
And the file es.upv.dsic.issi.moment.mdt_2.0.4.zip: with these files:
es.upv.dsic.issi.moment.mdt_2.0.4.zip |--- features |- es.upv.dsic.issi.moment.mdt_2.0.4 |--- plugins |- es.upv.dsic.issi.moment.mdt.maudedaemon_1.3.5.jar |- es.upv.dsic.issi.moment.mdt.maudesimpleGUI_2.0.5.jar |- es.upv.dsic.issi.moment.mdt.help_1.0.0.jar
You will have to copy both directories (features and plugins) to the eclipse folder.