Document related concepts
no text concepts found
Transcript
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 Pinchamos en Download J2SE SDK y luego buscamos el fichero apropiado 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 (Permisos de ejecución) $ 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 … procedemos a la instalación (no tiene perdida) $ mv j2sdk1.4.2_16/ jdk1.4 (Renombramos la carpeta) $ 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 (Para compilar) $ jmlrac algo (Para ejecutarlo)
