Giiis

Manual de Instalación Maude
Luis Fernando Melón Pérez
En este documento se pretende desarrollar la instalación de Maude en un sistema operativo de Mac.

Sistema Operativo: Mac OSXLion, o superior

1.Obtener Maude para Mac OSX
Como ya hemos visto en los manuales anteriores, debemos descargar de la página oficial de Maude directamente a través de este enlace laúltima versión de Maude: http://maude.cs.uiuc.edu/download/, de donde descargaremos un archivo comprimido que contendrá varios archivos. 1.1 Instalar Maude Al descomprimir el archivo nosencontraremos con el siguiente archivo Maude.intelDarwin, debemos ver donde hemos guardado dicho ejecutable Desde la consola accedemos al directorio donde este dicho archivo, en el momentoen el que nos encontremos en el directorio realizamos la siguiente operación ./Maude.intelDarwin, la secuencia de instalación sería la siguiente. Una vez hecho esto, escribimos quit o killpara salirnos del programa y terminaremos el proceso de instalación. (Mi archivo se encuentra en el escritorio dentro de la carpeta Maude)

2. Instalación de los plugins para eclipseUna vez realizada la instalación de Maude, bastaría con descargarse del módulo de AyDA los plugins para eclipse y copiarlos en la carpeta de plugins que se genera dentro de la carpeta deEclipse (da igual la versión de eclipse que se tenga, aunque recomiendo Eclipse Juno 4.2), una vez hecho esto podremos ejecutar Maude WorkStation sin problemas.

3. Configuración deMaude en eclipse
Por último, debemos realizar los siguientes pasos: 1-. En la barra de herramientas superior, pinchamos en Eclipse -> Preferencias

2-. Dentro de preferencias:Preferencias -> Maude 2.1 -. En Maude binary files: * buscamos el ejecutable Maude.intelDarwin . 2.2-. En Temporal files: * ponemos la carpeta en la que vayamos a guardar nuestros proyectos.