InglésFrancésEspañol

Ad


icono de página de OnWorks

js_of_eliom - Online en la nube

Ejecute js_of_eliom en el proveedor de alojamiento gratuito de OnWorks sobre Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS

Este es el comando js_of_eliom que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.

PROGRAMA:

NOMBRE


eliomc, eliomcp, eliomopt, js_of_eliom, eliomdep - las herramientas de construcción de eliom

SINOPSIS


eliomc [opciones] archivos

eliomcp [opciones] archivos

eliomopt [opciones] archivos

eliomdep [opciones] archivos

eliomdoc [opciones] archivos

eliompp [-cliente|-servidor] archivos

js_of_eliom [opciones] archivos -o nombrearchivo.js

DESCRIPCIÓN


eliomc, eliomcp y eliomopt son envoltorios alrededor del compilador OCaml que facilitan la
compilación de la parte del servidor de proyectos basados ​​en el marco Eliom. Ellos respectivamente
aceptar el mismo conjunto de opciones que el ocamlc(1)ocamlcp(1) y ocamlopt(1) compiladores más
los específicos descritos en el CAMPUS .

js_of_eliom es un envoltorio de los compiladores OCaml y Js_of_ocaml que facilitan la
compilación de la parte del cliente de proyectos basados ​​en el marco Eliom. Acepta el
mismo conjunto de opciones que el ocamlc(1) compilador más los específicos descritos en el
CAMPUS .

eliomdep es una envoltura alrededor ocamldep(1) que maneja las dependencias de una fuente .eliom
archivos. Acepta el mismo conjunto de opciones más las específicas descritas en el CAMPUS
sección. Supone que los módulos compilados del lado del servidor de archivos OCaml ubicados
en este directorio, el subárbol está en el directorio _servidor (con la misma estructura de subdirectorios)
(resp. en directorio _cliente para módulos compilados del lado del cliente).

eliompp (EXPERIMENTAL) es un preprocesador que elimina secciones específicas, dependiendo de la
opción dada. La opción -cliente eliminará todas las partes de nivel superior y las secciones del servidor
y la opcion -servidor eliminará solo las secciones del cliente.

eliomdoc (EXPERIMENTAL) es un envoltorio alrededor del generador de documentación OCaml ocamldoc.
Te permite generar documentación desde cliente or servidor lado. Acepta lo mismo
conjunto de opciones que ocamldoc(1). Extrae automáticamente los comentarios de la
secciones deseadas. eliomdoc actualmente es experimental, y podría encontrar algunos indefinidos
comportamientos. (ver http://ocsigen.org/eliom/manual/workflow-compilation). Algunos bien conocidos
los errores son:

· Sus archivos siempre deben comenzar con un valor y no con un comentario. De lo contrario,
camlp4 no mostrará los comentarios.

· A veces, los nodos de comentarios no se adjuntan como se esperaba. Eso es porque camlp4
(a veces) elimine una nueva línea adicional entre los elementos de valor.

COMPILACIÓN ELIOM FUENTE ARCHIVOS


La compilación de archivos con extensión .eliom se logra en tres pasos: inferir el
tipo de valor enviado por el servidor al cliente; compila la parte del servidor del código y
compila la parte del cliente. Los dos primeros pasos se pueden realizar con eliomc y el último
js_de_eliom.

Ambas herramientas producen un archivo .cmo denominado como el archivo .eliom original. Para evitar sobrescribir el
.cmo que representa la parte del servidor con .cmo de la parte del cliente, archivos generados por
eliomc or eliomopt se almacenan por defecto en un subdirectorio llamado _server y archivos
generado por js_of_eliom se almacenan en un subdirectorio llamado _client. Los predeterminados
los directorios podrían ser anulados respectivamente por las variables de entorno ELIOM_SERVER_DIR
y ELIOM_CLIENT_DIR.

Los tipos inferidos por eliomc para los valores enviados por el servidor al cliente se almacenan en un
archivos intermedios denominados como el archivo .eliom original y cuya extensión es .type_mli.
Ese archivo es requerido por js_of_eliom para compilar la parte del cliente del archivo .eliom. los
eliomdep La herramienta genera correctamente las dependencias de ese archivo intermedio para el servidor .cmo
y el cliente .cmo.

CAMPUS


-eliom-inc Agregar a la lista de directorios de inclusión de eliom (solo eliomdep).

es
Especifique el directorio de destino para los archivos generados

-paquete
Esta es la misma opción que la de ocamlfind.

-predica
Esta es la misma opción que la de ocamlfind.

-sin carga automática
No cargue extensiones de sintaxis de uso común (deriving, lwt, js_of_ocaml, tyxml).

-tipo-conv
Utilice extensiones de sintaxis type_conv en lugar de derivar una. No tiene ningún efecto si se usa
junto con -no-autoload.

-ppt
Adjuntar a la invocación del preprocesador.

-jsopt
Adjuntar a la invocación js_of_ocaml (solo js_of_eliom).

-inferir
Para el archivo .eliom, solo genere el archivo .type_mli intermedio (eliomc y eliomopt
solamente).

-no inferir
Para el archivo .eliom, no genere el archivo .type_mli intermedio (eliomc y
eliomopt solamente).

-ayuda or --ayuda
Muestre un breve resumen de uso y salga.

EJEMPLOS


La compilación de un proyecto Eliom compuesto por un archivo específico del servidor llamado server.ml, un
archivo específico del cliente llamado client.ml y dos archivos comunes llamados base.eliom y main.eliom,
podría lograrse con los siguientes comandos:

eliomc -a -o aplicación.cma servidor.ml base.eliom principal.eliom
js_of_eliom -o appl.js cliente.ml base.eliom principal.eliom

Para evitar volver a compilar todo el proyecto cada vez, esto podría dividirse en varios pasos:

eliomc -c servidor.ml
eliomc -c base.eliom
eliomc -c principal.eliom
eliomc -a -o appl.cma _server / server.cmo _server / base.cmo _server / main.cmo
js_of_eliom -c cliente.ml
js_of_eliom -c base.eliom
js_of_eliom -c principal.eliom
js_of_eliom -o appl.js _client / client.cmo _client / base.cmo _client / main.cmo

Use js_of_eliom en línea usando los servicios de onworks.net


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

Comandos de Linux

Ad