Apéndice C. Instalación
Anterior |  | Siguiente

## Apéndice C. Instalación

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