Описание тега mirage

Среда программирования на основе OCaml для создания типобезопасных модульных систем.
0 ответов

Использование библиотеки C в mirageos

Мне нужно сделать U2F в проекте mirageos, и, насколько я могу судить, в нем нет реализаций ocaml. Я читал эту статью в блоге, и похоже, что для этого должна быть возможность использовать библиотеку C, предоставляемую yubico, но статья, к сожалению, …
20 авг '18 в 07:20
1 ответ

Подключить локальный эластичный поисковый кластер на mirage

Я пытаюсь использовать Mirage для создания моих эластичных поисковых запросов. Я начал упругий поиск на localhost, и когда я делаю curl localhost:9210 на терминале, я получаю ниже детали: "name" : "RN48HFb", "cluster_name" : "elasticsearch", "cluste…
1 ответ

Как развернуть пример MirageOS в AWS

Примечание. Похоже, это нерешенная проблема: http://lists.xenproject.org/archives/html/mirageos-devel/2016-02/msg00076.html и https://github.com/mirage/mirage-bootvar-xen/issues/17 Я пытаюсь получить пример "привет" от скелета mirage, работающего в …
10 мар '16 в 22:12
0 ответов

Несвязанное значение Mirage.load при выполнении make зависимость

Я пытаюсь скомпилировать и собрать этот простой проект Unikernel https://github.com/MagnusS/mirage-stats-demo под Ubuntu 14.04 с последними версиями OCaml, OPAM и связанных пакетов, но когда я выполняю команду, make зависит от появляется следующая о…
15 янв '16 в 15:52
1 ответ

DSpace: как изменить поле ввода расширенного поиска

Я являюсь членом команды разработчиков ILS для центральной библиотеки Бангладешского инженерно-технического университета (BUET). Там мы установили DSpace в качестве институционального хранилища. Мы используем XMLUI. Мы включили новый поисковый фильт…
10 окт '15 в 16:11
2 ответа

ocamlopt и ocamlbuild выдают ошибку модуля Unbound, несмотря на то, что ocamlfind видит нужный модуль

Я пытаюсь собрать инструмент xencat из этого проекта. Когда я пытаюсь использовать ocamlopt построить его, я получаю $ ocamlopt -o xencat xencat.ml File "xencat.ml", line 1, characters 5-13: Error: Unbound module Cmdliner Следуя приведенным здесь ук…
04 мар '16 в 21:21
0 ответов

Как использовать pp_write_error из mirage-channel

Я использую mirage-channel и Channel.flush возвращает (unit, Channel.write_error) Result.result, Я не могу понять, как преобразовать этот Channel.write_error в строку, кажется, что есть pp_write_error но я просто не понимаю, как его использовать. Сп…
28 окт '18 в 11:50
2 ответа

Поддерживает ли Cohttp_mirage.Client TLS?

Кто-нибудь может подтвердить, поддерживает ли Cohttp_mirage.Client TLS (https)? Похоже, что выполненное мной копание указывает на то, что Conduit_mirage поддерживает клиентские tls, но в Cohttp_mirage, в то время как сервер является функтором, прини…
11 фев '16 в 03:44
1 ответ

Удалить новости, описания и изображения из коллекции и сообществ

Как я могу удалить новости, описание и изображение из основной коллекции и просмотра коллекции в dspace. Какие файлы для редактирования?
21 фев '19 в 15:23
1 ответ

MirageOS - пример Http-fetch

Я пытаюсь немного изменить пример http-выборки MirageOS ( https://github.com/mirage/mirage-skeleton), который можно найти внутри скелета mirage, но у меня возникают проблемы с пониманием, почему я не могу переместить некоторые функции, выполняемые в…
17 фев '16 в 12:16
2 ответа

Как собрать Xen unikernel из Mirage OS

Я прочитал этот документ ( http://openmirage.org/wiki/hello-world) и попытался создать unikernel xen следующим образом: mirage configure --xen make depend make Но не удалось при компиляции: ocamlbuild -classic-display -use-ocamlfind -pkgs lwt.syntax…
23 янв '15 в 05:54
1 ответ

Передать модули в другие модули

Я пытаюсь использовать Irmin с MirageOS, и я борюсь со всеми этими модулями. Я взглянул на источники Canopy, чтобы попытаться выяснить, как предполагается использовать Irmin, и у меня есть это: let start console clock resolver conduit = let (module …
06 авг '18 в 14:38
2 ответа

MirageOS - Невозможно собрать unikernel для XEN

Я написал простой Unikernel на базе MirageOS для выполнения базового HTTP-вызова GET. Хотя он работает без проблем, когда я запускаю его как бинарный файл Unix, в тот момент, когда я настраиваю его для XEN (mirage configure --xen) и запустить make К…
10 фев '16 в 14:09
0 ответов

Как отключить окно "Мой аккаунт" из всех тем Mirage в dspace

Мне нужно снять флажок "мой аккаунт" из темы миража в dspace Я нашел это, но работает только для коробки на главной странице. <xsl:template match="dri:list[@id='aspect.viewArtifacts.Navigation.list.account']"> <xsl:if test="//dri:metadata[@…
04 июл '16 в 04:24
1 ответ

Lwt.async() не работает должным образом

Я разрабатываю веб-сервис в Ocaml поверх MirageOS(Unix) и на данный момент у меня возникли проблемы с Lwt.async(), Документация Lwt гласит следующее: val async : (unit -> 'a t) -> unit async f запускает поток, не дожидаясь результата. Если это…
2 ответа

Как Docker связан с экзокернальным подходом, таким как Mirage OS?

Как Docker связан с экзокернальными подходами, такими как MirageOS? Для получения дополнительной информации о MirageOS см.: http://www.xenproject.org/developers/teams/mirage-os.html http://www.se-radio.net/2014/05/episode-204-anil-madhavapeddy-on-th…
20 июн '14 в 14:34
1 ответ

Можно ли получить удаленный IP-адрес в ocaml Cohttp или в кабелепроводе?

Можно ли получить удаленный IP-адрес на уровне канала или cohttp? Я пробовал копать хотя и исходный код, но, похоже, он скрыт под несколькими уровнями абстракции. Я пишу остальные службы, которые планирую развернуть как unikernels, и регистрация IP-…
05 сен '16 в 16:26
0 ответов

Сборка unikernel Mirage на Mac OS X

Я хотел бы создать уникальный образ приложения mirage для использования с Kubernetes на VirtualBox на моем Mac OS X. Как я должен идти о создании этого? Все попытки сделать специально отрицают использование Дарвина.
24 окт '17 в 22:02
1 ответ

Как бороться со всеми этими функторами

Я был здесь ради чего-то другого, но пытаясь написать свой вопрос, я понимаю, что я никак не могу сделать это правильно. Я некоторое время использую mirage и irmin, и пока весь код остается в главном модуле, все отлично. Но, конечно, он быстро превр…
14 окт '18 в 18:20
1 ответ

Ember Mirage seed, динамически

Я знаю, когда приложение загружается, mirage запускает базу данных. Но я хотел знать, есть ли способ динамически изменить заполненную базу данных позже (например, при некоторых действиях пользователя). Итак, у меня есть API, который дает мне статус …
31 июл '18 в 20:03