Apéndice C. Instalación

Apéndice C. Instalación
Anterior		Siguiente

En el sitio de desarrollo de repasa en Internet: http://structio.sourceforge.net/repasa es posible obtener las fuentes, así como un paquete precompilado para sistemas OpenBSD en plataforma x86. Este paquete puede instalarse de la manera estándar en sistemas OpenBSD (con pkg_add).

A continuación se presentan instrucciones para compilar las fuentes en sistemas tipo Unix.

Requerimientos

Ocaml 3.x (se ha probado con 3.07). Puede obtener las fuentes en: http://caml.inria.fr/ocaml/. Hay paquetes precompilados de este lenguaje para diversas plataformas (e.g OpenBSD, Debian, Windows).
make, sed, grep y un interprete de comandos (e.g pdksh, bash).
La librería Markup disponible en: http://www.ocaml-programming.de/markup/
Opcional: Si desea compilar la interfaz gráfica, se requieren Tcl/Tk (8.x) y la librería labltk distribuida con Ocaml.

Compilación

Primero desempaquete y configure con:

      tar xvfz repasa-1.4.tar.gz
      cd repasa-1.4
      ./conf.sh

si desea especificar una ruta de instalación (por defecto es /usr/local), emplee el parámetro -p del script conf.sh, por ejemplo:

      ./conf.sh -p /home/juan/

Este proceso buscará los programas requeridos en algunos sitios y hará algunas pruebas. Si algún componente requerido no es encontrado usted podrá indicar la ubicación cuando conf.sh lo solicite o puede cancelar la configuración y editar directamente confv.sh para después ejecutar nuevamente conf.sh.

Cuando complete la configuración compile con:

	    make

o si Ocaml en su plataforma soporta compilación nativa emplee:

	    make opt

Pruebas de regresión

Permiten verificar que los programas que compiló pasan diversas pruebas en su plataforma. Aunque no es indispensable ejecutarlas antes de instalar, es sugerido. Después de compilar puede ejecutarlas desde el directorio de fuentes con:

      cd regr
      ./test.sh

Si alguna prueba falla la ejecución se detendrá para indicarlo, y deberá presionar ENTER para continuar. Después de completar estas pruebas, tanto en caso de que fallen como en caso de que no fallen solicitamos que por favor nos envie el archivo test.log en un correo dirigido a <structio-info@lists.sourceforge.net>. Así podremos determinar en que plataformas se ha podio compilar repasa (para eventualmente soportarla mejor) y si hubo fallas podremos corregirlas e informarle.

Además de las pruebas de regresión puede ver algunos ejemplos incluidos antes de instalar:

Para probar interfaz plana repasando definiciones de las guías Aprendiendo a aprender Linux: guías de estudio para colegios:
```
./repasa -D ./dtds ejemplos/AA.sec
```
o si se desea emplear una política de estudio externa:
```
./repasa -D ./dtds -pol-prom ejemplos/menosrepasadas.prom ejemplos/AA.sec
```
o si compiló la interfaz gráfica puede emplear las mismas líneas de comandos pero remplazando repasa por repasatk. Si compiló de forma nativa puede agregar a las anteriores el posfix .opt.

Para probar herramientas de chequeo con un ejemplo incluido:

./repchq -D ./dtds ejemplos/AA.def
./repchq -D ./dtds -j "Logro;Indicador" ejemplos/AA.cla
./repchq -D ./dtds -j "Periodo" ejemplos/AA.sec
./repchq -D ./dtds ejemplos/AA.prd

Instalación

Una vez compile puede instalar en algunos directorios dentro del directorio prefijo (especificado al configurar) con:

	    make instala

o si hizo compilación nativa con:

	    make instala.opt

Si conserva las fuentes o las configura de la misma forma que al instalar, podrá desinstalar posteriormente con:

      	    make desinstala

Para conservar las fuentes ahorrando espacio (eliminando código objeto producido durante la compilación y binarios no instalados):

      make limpia

o para eliminar también la configuración que haya hecho:

      make limpiadist

Documentación

Puede consultarla o descargarla de Internet en diversos formatos desde: http://structio.sourceforge.net/repasa

Junto con las fuentes de repasa se incluyen:

Documentación para usuario en formato HTML en el directorio doc/usuario/html
Fuentes en DocBook de la documentación para usuario en el directorio doc/usuario. Para generarla consulte doc/usuario/Leame.txt. Si colabora en el desarrollo puede generar diversos archivos de documentación para usuarios (e.g archivo Instala.txt, Derechos.txt, documentación de doc/usuario) con make doc.
Páginas man de los formatos y programas, que por defecto son instaladas al instalar repasa.
Si emplea Ocaml 3.06 o posterior y desea generar la documentación técnica de las fuentes en HTML, después de compilar ejecute:
```
	    mkdir doc/technical
	    mkdir doc/technical/srcdoc
	    make srcdoc
```

Anterior		Siguiente
Apéndice B. Derechos	Inicio	Documentación de referencia de formatos