англійськафранцузькаіспанська

Ad


Значок OnWorks

eliomdep - Інтернет у хмарі

Запустіть eliomdep у безкоштовному хостинг-провайдері OnWorks через Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

Це команда eliomdep, яку можна запустити у безкоштовного хостинг-провайдера OnWorks за допомогою однієї з наших безкоштовних онлайн-робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

ПРОГРАМА:

ІМ'Я


eliomc, eliomcp, eliomopt, js_of_eliom, eliomdep - інструменти для створення eliom

СИНТАКСИС


eliomc [опції] файли

eliomcp [опції] файли

еліомопт [опції] файли

еліомдеп [опції] файли

eliomdoc [опції] файли

eliompp [-клієнт|-сервіс] файли

js_of_eliom [опції] файли -o ім'я файлу.js

ОПИС


eliomc, eliomcp та еліомопт є обгорткою компілятора OCaml, що полегшує роботу
компіляція серверної частини проектів на основі фреймворка Eliom. Вони відповідно
прийняти той самий набір параметрів, що й ocamlc(1)ocamlcp(1) і окамлопт(1) компілятори плюс
конкретні, описані в ВАРІАНТИ .

js_of_eliom це обгортка компіляторів OCaml і Js_of_ocaml, яка полегшує
складання клієнтської частини проектів на основі фреймворку Eliom. Він приймає
такий самий набір опцій, ніж у ocamlc(1) компілятор плюс конкретні, описані в
ВАРІАНТИ .

еліомдеп є обгорткою навколо ocamldep(1), який обробляє залежності джерела .eliom
файлів. Він приймає той самий набір параметрів плюс конкретні, описані в ВАРІАНТИ
розділ. Це робить припущення, що на стороні сервера розташовані модулі файлів OCaml
у цьому каталозі піддерево знаходиться в каталозі _сервер (з такою ж структурою підкаталогів)
(відповідно в довіднику _клієнт для скомпільованих модулів на стороні клієнта).

eliompp (ЕКСПЕРИМЕНТАЛЬНИЙ) є препроцесором, який видаляє певні розділи, залежно від
даний варіант. Варіант -клієнт видалить усі частини верхнього рівня та розділи сервера
і варіант -сервіс видалить лише клієнтські розділи.

eliomdoc (ЕКСПЕРИМЕНТАЛЬНИЙ) це обгортка навколо генератора документації OCaml ocamldoc.
Це дозволяє створювати документацію з клієнт or сервер сторона. Він приймає те ж саме
набір варіантів ніж ocamldoc(1). Він автоматично витягує коментарі з
бажані розділи. eliomdoc наразі є експериментальним, і ви можете знайти деякі невизначені
поведінки. (побачити http://ocsigen.org/eliom/manual/workflow-compilation). Деякі добре відомі
помилки це:

· ваші файли завжди повинні починатися зі значення, а не з коментаря. інакше
camlp4 не виводить коментарі.

· іноді вузол коментаря не прикріплюється, як очікувалося. Це тому, що camplp4
(іноді) видалити зайвий новий рядок між елементами значення.

КОМПІЛЯЦІЯ ЕЛІОМ ДЖЕРЕЛО ФАЙЛИ


Компіляція файлів із розширенням .eliom здійснюється в три кроки: зробити висновок
тип значення, надісланого сервером клієнту; компілювати серверну частину коду і
компілювати клієнтську частину. Перші два кроки можна реалізувати за допомогою eliomc і останній
з js_of_eliom.

Обидва інструменти створюють файл .cmo, названий оригінальним файлом .eliom. Щоб уникнути перезапису
.cmo, що представляє серверну частину з .cmo клієнтської частини, файли, створені за допомогою
eliomc or еліомопт за замовчуванням зберігаються в підкаталозі з іменем _server і файли
породжений js_of_eliom зберігаються в підкаталозі з іменем _client. Ті за замовчуванням
каталоги можуть бути відповідно перевизначені змінними середовища ELIOM_SERVER_DIR
та ELIOM_CLIENT_DIR.

Типи, виведені за eliomc оскільки значення, надіслані сервером клієнту, зберігаються в файлі an
проміжні файли, названі оригінальним файлом .eliom і розширенням .type_mli.
Цей файл необхідний для js_of_eliom для компіляції клієнтської частини файлу .eliom. The
еліомдеп інструмент правильно генерувати залежності, що проміжний файл для сервера .cmo
і клієнт .cmo.

ВАРІАНТИ


-eliom-inc Додати до списку eliom включити каталоги (лише eliomdep).

-реж
Вкажіть цільовий каталог для згенерованих файлів

- пакет
Це той самий варіант, що й ocamlfind.

-присудки
Це той самий варіант, що й ocamlfind.

-без автозавантаження
Не завантажуйте поширені розширення синтаксису (deriving, lwt, js_of_ocaml, tyxml).

-тип-конв
Використовуйте розширення синтаксису type_conv замість того, щоб отримати їх. При використанні не має ефекту
у поєднанні з -no-autoload.

-ppopt
Додати на виклик препроцесора.

-jsopt
Додати на виклик js_of_ocaml (лише js_of_eliom).

- зробити висновок
Для файлу .eliom створюйте лише проміжний файл .type_mli (eliomc і eliomopt
тільки)

-ноінфер
Для файлу .eliom не створюйте проміжний файл .type_mli (eliomc і
тільки еліомопт).

-допомога or --допомога
Відобразити короткий підсумок використання та вийти.

ПРИКЛАДИ


Компіляція проектів Eliom, що складається з конкретного серверного файлу з іменем server.ml, a
специфічний для клієнта файл з іменем client.ml і два загальні файли з іменами base.eliom і main.eliom,
можна досягти за допомогою таких команд:

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

Щоб уникнути перекомпіляції всього проекту щоразу, його можна розділити на кілька кроків:

eliomc -c server.ml
eliomc -c основа.eliom
eliomc -c головний.eliom
eliomc -a -o appl.cma _server/server.cmo _server/base.cmo _server/main.cmo
js_of_eliom -c client.ml
js_of_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

Використовуйте eliomdep онлайн за допомогою сервісів onworks.net


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

  • 1
    Phaser
    Phaser
    Phaser — це швидке, безкоштовне та веселе відкриття
    вихідний ігровий фреймворк HTML5, який пропонує
    Взаємовідображення WebGL і Canvas
    настільні та мобільні веб-браузери. Ігри
    можна спільно...
    Завантажити Phaser
  • 2
    Двигун ВАССАЛ
    Двигун ВАССАЛ
    VASSAL — ігровий движок для створення
    електронні версії традиційної дошки
    і карткові ігри. Він забезпечує підтримку для
    рендеринг і взаємодія ігрових елементів,
    і ...
    Завантажити VASSAL Engine
  • 3
    OpenPDF - форк iText
    OpenPDF - форк iText
    OpenPDF - це бібліотека Java для створення
    і редагування файлів PDF за допомогою LGPL і
    Ліцензія з відкритим кодом MPL. OpenPDF - це
    LGPL/MPL з відкритим кодом наступник iText,
    має ...
    Завантажте OpenPDF - Fork of iText
  • 4
    SAGA GIS
    SAGA GIS
    SAGA - Система для автоматизації
    Географічні аналізи - це географічні
    Програмне забезпечення інформаційної системи (ГІС) с
    величезні можливості для геоданих
    обробка та ана...
    Завантажити SAGA GIS
  • 5
    Панель інструментів для Java/JTOpen
    Панель інструментів для Java/JTOpen
    IBM Toolbox для Java / JTOpen є a
    бібліотека класів Java, що підтримують
    програмування клієнт/сервер та Інтернет
    моделі до системи під керуванням OS/400,
    i5/OS, o...
    Завантажте Toolbox для Java/JTOpen
  • 6
    D3.js
    D3.js
    D3.js (або D3 для документів, керованих даними)
    це бібліотека JavaScript, яка дозволяє вам
    створювати динамічні інтерактивні дані
    візуалізації у веб-браузерах. З D3
    ти ...
    Завантажити D3.js
  • Детальніше »

Команди Linux

  • 1
    abidiff
    abidiff
    abidiff - порівняння ABI файлів ELF
    abidiff порівнює двійковий файл програми
    Інтерфейси (ABI) двох спільних бібліотек
    у форматі ELF. Воно випромінює змістовне
    звіт...
    Запустіть abidiff
  • 2
    abidw
    abidw
    abidw - серіалізує ABI ELF
    файл abidw читає спільну бібліотеку в ELF
    форматує та створює представлення XML
    свого ABI до стандартного виводу. The
    випущений ...
    Запустіть abidw
  • 3
    copac2xml
    copac2xml
    bibutils - перетворення бібліографії
    комунальні послуги ...
    Запустіть copac2xml
  • 4
    копт
    копт
    copt - оптимізатор вічка SYSNOPIS:
    файл copt.. ОПИС: copt - це a
    оптимізатор вічко загального призначення. Це
    читає код зі свого стандартного вводу та
    пише...
    Біг копт
  • 5
    gather_stx_titles
    gather_stx_titles
    gather_stx_titles - заголовок збірки
    декларації з документів Stx ...
    Запустіть gather_stx_titles
  • 6
    гатлінг-бенч
    гатлінг-бенч
    bench - http benchmark ...
    Лава для бігу Гатлінга
  • Детальніше »

Ad