[Structio-sopcol] Re: [Structio-info] Solicitando ayuda sobre repasa
Brought to you by:
vtamara
From: Vladimir <vt...@pa...> - 2006-03-17 10:19:32
|
On Thu, Mar 16, 2006 at 05:49:41PM -0500, Arnoldo Hernan Quishpe Guagrill= a wrote: > Buenas tardes Vladimir e Igor ! Buenos d=EDas en el Se=F1or > Reciban un saludo fraterno. >=20 > He seguido los pasos para instalar repasa en Debian. Instal=E9 Ocaml. H= oy, al > fin, configur=E9 e instal=E9 Tcl/Tk 8.4.12, siguiendo las instruccione= s de esta > p=E1gina[1] de la cual baj=E9 los tar.gz . >=20 > [1] http://www.tcl.tk/software/tcltk/downloadnow84.html Ok. Aunque pienso que la versi=F3n que estaba como paquete en Debian deber=EDa servir. > Realic=E9 las pruebas de regresi=F3n y todo funcion=F3 muy bien ( No se= d=F3nde se > encuentra el archivo test.log para enviarlos). Se encuentra en el directorio regr. > Luego prob=E9 la interfaz > plana: >=20 > ./repasa -D ./dtds ejemplos/AA.sec >=20 > y funcion=E1: muestra el resultado. Ok. >=20 > Cuando voy a probar la interfaz gr=E1fica: > ./repchq -D ./dtds ejemplos/AA.def La plana es repasatk En todo caso, tenga en cuenta que Ocaml debe tener incluido el soporte para LablTk, el cual a su vez requiere Tcl/Tk. As=ED que el orden de instalaci=F3n deber=EDa ser: 1. Tcl/Tk 2. Ocaml con soporte para LablTk. Si el paquete de debian no incluye ese soporte, tocar=EDa bajar fuentes y recompilar con opciones como las que se muestran en http://structio.sourceforge.net/guias/usuario_OpenBSD/configuracion-de-al= gunos-portes.html#ocaml (aunque el paquete de ocaml para OpenBSD si tiene soporte para LablTk y hay paquete de repasa para OpenBSD que le evitar=EDa compilaciones). 3. repasa ---al hacer conf.sh debe llenar LABLTK_PATH o de lo contrario no podr=E1 usarse la interfaz gr=E1fica. > Finalmente lo instal=E9. Ok. >=20 > Cuando voy a ejecutar repchq ejsimple.def desde /home/hernan me dice: = bash: > repchq: command not found. Extra=F1o por favro verifique: 1. Que exists /usr/local/bin/repchq que es el sitio donde por defecto se = instala 2. Que en su variable PATH est=E9 incluida la ruta /usr/local/bin, la ve con echo $PATH y la modifica con export PATH=3D$PATH:/usr/local/bin Saludos de paz. --=20 Dios, por favor, ayudanos a hacer Tu voluntad que es felicidad desbordant= e. http://www.primarilypublicdomain.org/letter/ -- =20 Vladimir T=E1mara Pati=F1o. =20 http://www.geocities.com/v-tamara |