EnglishFranceseSpagnolo

Favicon di OnWorks

eliomdep - Online nel cloud

Esegui eliomdep nel provider di hosting gratuito OnWorks su Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

Questo è il comando eliomdep che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS

PROGRAMMA:

NOME


eliomc, eliomcp, eliomopt, js_of_eliom, eliomdep - gli strumenti di compilazione di eliom

SINOSSI


eliomc [Opzioni] File

eliomcp [Opzioni] File

Eliomopt [Opzioni] File

Eliomdep [Opzioni] File

Eliomdoc [Opzioni] File

eliompp [-cliente|server] File

js_di_eliom [Opzioni] files -o nomefile.js

DESCRIZIONE


Eliom, eliomcp e Eliomopt sono wrapper attorno al compilatore OCaml che facilitano il
compilazione della parte server dei progetti basati sul framework Eliom. loro rispettivamente
accettare lo stesso insieme di opzioni del ocamlc(1),ocamlcp(1) e ocamlopt(1) compilatori più
quelli specifici descritti nel VERSIONI .

js_di_eliom è un wrapper per i compilatori OCaml e Js_of_ocaml che facilitano il
compilazione della parte cliente dei progetti basati sul framework Eliom. Accetta il
stesso set di opzioni rispetto a ocamlc(1) compilatore più quelli specifici descritti nel
VERSIONI .

Eliomdep è un involucro intorno ocamldep(1) che gestisce le dipendenze di un'origine .eliom
File. Accetta lo stesso insieme di opzioni più quelle specifiche descritte nel VERSIONI
sezione. Si presume che i moduli compilati lato server dei file OCaml si trovino
in questa directory il sottoalbero si trova nella directory _server (con la stessa struttura di sottodirectory)
(risp. in directory _cliente per moduli compilati lato client).

eliompp (SPERIMENTALE) è un preprocessore che rimuove sezioni specifiche, a seconda del
data opzione. L'opzione -cliente rimuoverà tutte le parti di livello superiore e le sezioni del server
e l'opzione server rimuoverà solo le sezioni client.

Eliomdoc (SPERIMENTALE) è un wrapper per il generatore di documentazione OCaml ocamldoc.
Ti permette di generare documentazione da cliente or server lato. Accetta lo stesso
set di opzioni che ocamldoc(1). Estrae automaticamente i commenti dal
sezioni desiderate. Eliomdoc è attualmente sperimentale e potresti trovarne alcuni indefiniti
comportamenti. (vedere http://ocsigen.org/eliom/manual/workflow-compilation). Alcuni ben noti
i bug sono:

· i tuoi file dovrebbero sempre iniziare con un valore e non con un commento. Altrimenti,
camlp4 non produrrà i commenti.

· a volte, i nodi di commento non sono collegati come previsto. Questo perché camlp4
(a volte) rimuove una nuova riga in più tra gli elementi del valore.

COMPILAZIONE ELIOM FONTE FILE


La compilazione di file con estensione .eliom si ottiene in tre passaggi: dedurre il
tipo di valore inviato dal server al client; compilare la parte server del codice e
compilare la parte client. I primi due passaggi possono essere realizzati con eliomc e l'ultimo
con js_di_eliom.

Entrambi gli strumenti producono un file .cmo denominato come il file .eliom originale. Per evitare di sovrascrivere il
.cmo che rappresenta la parte server con .cmo della parte client, file generati da
eliomc or Eliomopt sono memorizzati per impostazione predefinita in una sottodirectory denominata _server e file
generato da js_di_eliom sono memorizzati in una sottodirectory denominata _client. Quelli predefiniti
le directory potrebbero essere rispettivamente sovrascritte dalle variabili d'ambiente ELIOM_SERVER_DIR
e ELIOM_CLIENT_DIR.

I tipi dedotti da eliomc per i valori inviati dal server al client sono memorizzati in un
file intermedi denominati come il file .eliom originale e la cui estensione è .type_mli.
Quel file è richiesto da js_di_eliom per compilare la parte client del file .eliom. Il
Eliomdep strumento genera correttamente dipendenze che file intermedio per il server .cmo
e il cliente .cmo.

VERSIONI


-eliom-inc Aggiungere all'elenco delle directory eliom include (solo eliomdep).

è
Specificare la directory di destinazione per i file generati

-pacchetto
Questa è la stessa opzione di quella di ocamlfind.

-predicati
Questa è la stessa opzione di quella di ocamlfind.

-nessun caricamento automatico
Non caricare estensioni di sintassi comunemente usate (deriving, lwt, js_of_ocaml, tyxml).

-tipo-conv
Usa le estensioni di sintassi type_conv invece di derivarne una. Non ha effetto se usato
insieme a -no-autoload.

-ppot
Aggiungere all'invocazione del preprocessore.

-jsopt
Aggiungere all'invocazione js_of_ocaml (solo js_of_eliom).

-dedurre
Per il file .eliom, genera solo il file .type_mli intermedio (eliomc e eliomopt
solo).

-non dedurre
Per il file .eliom, non generare il file .type_mli intermedio (eliomc e
solo eliomopt).

-Aiuto or --Aiuto
Visualizza un breve riepilogo dell'utilizzo ed esci.

ESEMPI


La compilazione di un progetto Eliom composto da un file specifico del server denominato server.ml, a
file specifico del client denominato client.ml e due file comuni denominati base.eliom e main.eliom,
si può ottenere con i seguenti comandi:

eliomc -a -o appl.cma server.ml base.eliom main.eliom
js_of_eliom -o appl.js client.ml base.eliom main.eliom

Per evitare di ricompilare l'intero progetto ogni volta, questo potrebbe essere suddiviso in più passaggi:

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

Usa eliomdep online utilizzando i servizi onworks.net


Server e workstation gratuiti

Scarica app per Windows e Linux

  • 1
    PyQt
    PyQt
    PyQt è l'associazione Python per
    Qt multipiattaforma di Digia
    quadro di sviluppo delle applicazioni. Esso
    supporta Python v2 e v3 e Qt v4 e
    Qt v5. PyQt è disponibile...
    Scarica PyQt
  • 2
    Sardo
    Sardo
    Sardi è un restyling completo e
    ottimizzazione del codice svg. 6 scelte per
    le tue applicazioni e 10 tipi di cartelle
    da usare nel tuo file manager. la sarda
    icone...
    Scarica Sardi
  • 3
    Workstation audio digitale LMMS
    Workstation audio digitale LMMS
    LMMS è un software multipiattaforma gratuito
    che ti permette di produrre musica con
    il tuo computer. Se ti piace questo progetto
    considera di essere coinvolto nel progetto
    h ...
    Scarica LMMS Digital Audio Workstation
  • 4
    Kernel in tempo reale FreeRTOS (RTOS)
    Kernel in tempo reale FreeRTOS (RTOS)
    FreeRTOS è un real-time leader di mercato
    sistema operativo (RTOS) per
    microcontrollori e piccoli
    microprocessori. Distribuito liberamente
    sotto la licenza open source del MIT...
    Scarica FreeRTOS Real Time Kernel (RTOS)
  • 5
    Avogadro
    Avogadro
    Avogadro è un molecolare avanzato
    editor progettato per l'uso multipiattaforma
    in chimica computazionale, molecolare
    modellistica, bioinformatica, materiali
    scienza e...
    Scarica Avogadro
  • 6
    XML TV
    XML TV
    XMLTV è un insieme di programmi da elaborare
    Elenchi TV (tvguide) e aiuto nella gestione
    la visione della TV, memorizzando gli elenchi in un
    Formato basato su XML. Ci sono utilità per
    fare...
    Scarica XMLTV
  • Di Più "

Comandi Linux

Ad