En el sitio de desarrollo de repasa en Internet: http://structio.sourceforge.net/repasa es posible obtener las fuentes, que son apropiadas para ser compiladas en sistemas tipo Unix donde pueda ejecutarse Ocaml. Se ha probado en Linux y OpenBSD.
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.
Primero desempaquete y configure con:
tar xvfz repasa-1.2.tgz
cd repasa-1.2
./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
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 enviarnos 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.seco si se desea emplear una política de estudio externa:
./repasa -D ./dtds -pol-prom ejemplos/menosrepasadas.prom ejemplos/AA.seco si compiló la interfaz gráfica puede emplear las mismas líneas de comandos pero remplazando repasa por repasatk.
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
Una vez compile puede instalar en algunos directorios dentro del directorio prefijo (especificado al configurar) con:
make instalaSi 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
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