Instalar Java y JML en Ubuntu

Es un proceso muy sencillo. Ahora bien: solo funciona para versiones del j2sdk 1.4.2_16 o anteriores (las notas de desarrollo de JML explican porqué). Podemos obtener java desde su sitio oficial, lo mismo que JML:
j2sdk 1.4.2_16: http://java.sun.com/products/archive/j2se/1.4.2_16/index.html
JML 5.6rc4 (desde sourceforge): http://sourceforge.net/projects/jmlspecs/files/jmlspecs/5.6_rc4/JML.5.6_rc4.tar.gz/download
Los descargamos al mismo directorio, por ejemplo el directorio “Descargas” de nuestro home (que es el lugar por defecto en Ubuntu). En un terminal introducimos entonces:
$ cd Descargas
$ sudo cp j2sdk-1_4_2_16-linux-i586.bin JML.5.6_rc4.tar.gz /usr/local
$ cd /usr/local
$ sudo chmod +x j2sdk-1_4_2_16-linux-i586.bin
$ sudo ./j2sdk-1_4_2_16-linux-i586.bin
$ sudo mv j2sdk1.4.2_16/ jdk1.4
$ sudo tar -zxvf JML.5.6_rc4.tar.gz
$ cd JML/bin
$ sudo ./Install-JML-Scripts
$ cd ..
$ cd ..
$ sudo rm j2sdk-1_4_2_16-linux-i586.bin JML.5.6_rc4.tar.gz
Ahora agregamos la ruta de java al PATH del terminal:
$ sudo gedit /etc/bash.bashrc
Añadimos al final las siguientes líneas:
# PATH DE JAVA AGREGADA MANUALMENTE
export JAVA_HOME=/usr/local/jdk1.4/
export PATH=$JAVA_HOME/bin:$PATH
Guardamos los cambios, cerramos gedit y el terminal. Al volver a abrir el terminal, ya funcionaran los siguientes comandos:
$ java .. Esto abre la máquina virtual de java
$ javac .. Esto invoca el compilador de java
$ jmlc .. Compilador JML. La directiva -q evita que muestre mensajes no relevantes
$ jmlrac .. Para correr codigo JML.

Anuncios