PDF de programación - Instalar JML en ubuntu

Pinchamos en Download J2SE SDK y luego buscamos el fichero apropiado

Instalar JML en ubuntu/kubuntu

Primeramente hay que bajarse el JML y el jdk1.4. Tiene que ser el jdk1.4, no valen
versiones superiores de jdk, al menos por ahora.

Jmlspecs:
http://sourceforge.net/project/showfiles.php?group_id=65346

Java 2 SDK, Standard 1.4:
http://java.sun.com/j2se/1.4.2/download.html


Nos descargamos los dos archivos en una misma carpeta y nos ponemos en modo root
mediante el comando “su”:

$ chmod +x j2sdk-1_4_2_16-linux-i586.bin
$ cp j2sdk-1_4_2_16-linux-i586.bin JML.5.5_rc3.tar.gz /usr/local/
$ ./ j2sdk-1_4_2_16-linux-i586.bin

$ mv j2sdk1.4.2_16/ jdk1.4
$ tar –zxvf JML.5.5_rc3.tar.gz
$ cd JML/bin/
$ ./Install-JML-Scripts

Hecho esto ya tenemos instalado el jkd1.4 y el JML. Ahora ya podemos usar los
comandos del jml. Recordad:

$ jmlc –Q algo.java

$ jmlrac algo

… procedemos a la instalación (no tiene perdida)

(Para compilar)
(Para ejecutarlo)

(Renombramos la carpeta)

(Permisos de ejecución)