IngleseFranceseSpagnolo

Ad


Favicon di OnWorks

js_of_eliom - Online nel cloud

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

Questo è il comando js_of_eliom 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 ed 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 js_of_eliom online utilizzando i servizi onworks.net


Server e workstation gratuiti

Scarica app per Windows e Linux

Comandi Linux

  • 1
    Aarch64-Linux-GNU-GNATBIND
    Aarch64-Linux-GNU-GNATBIND
    moscerino, moscerino, moscerino, moscerino,
    gnatfind, gnathtml, gnatkr, gnatlink,
    moscerini, gnatmake, gnatprep, gnatpsta,
    gnatpsys, gnatxref - cassetta degli attrezzi GNAT
    DESCRIZIONE: Il...
    Eseguire aarch64-linux-gnu-gnatbind
  • 2
    aarch64-linux-gnu-gnatchop-5
    aarch64-linux-gnu-gnatchop-5
    moscerino, moscerino, moscerino, moscerino,
    gnatfind, gnathtml, gnatkr, gnatlink,
    moscerini, gnatmake, gnatprep, gnatpsta,
    gnatpsys, gnatxref - cassetta degli attrezzi GNAT
    DESCRIZIONE: Il...
    Eseguire aarch64-linux-gnu-gnatchop-5
  • 3
    cpupower-idle-info
    cpupower-idle-info
    cpupower idle-info - Utilità per
    recuperare le informazioni sul kernel inattivo della cpu
    SINTASSI: cpupower [ -c cpulist ]
    idle-info [opzioni] DESCRIZIONE: Uno strumento
    che stampa p...
    Eseguire cpupower-idle-info
  • 4
    cpupower-idle-set
    cpupower-idle-set
    cpupower idle-set - Utilità per impostare cpu
    opzioni del kernel specifiche per lo stato inattivo
    SINTASSI: cpupower [ -c cpulist ]
    idle-info [opzioni] DESCRIZIONE: The
    cpupower inattivo-se...
    Eseguire cpupower-idle-set
  • 5
    g.mapsetsgrass
    g.mapsetsgrass
    g.mapsets - Modifica/stampa i file dell'utente
    percorso di ricerca mapset corrente. Colpisce il
    l'accesso dell'utente ai dati esistenti ai sensi del
    altri mapset nella posizione corrente. ...
    Eseguire g.mapsetsgrass
  • 6
    g.messagegrass
    g.messagegrass
    g.message - Stampa un messaggio, avviso,
    informazioni sullo stato di avanzamento o errore irreversibile nel file
    Modo ERBA. Questo modulo dovrebbe essere utilizzato in
    script per i messaggi forniti all'utente.
    CHIAVE...
    Esegui g.messagegrass
  • Di Più "

Ad