From: Bergman Andrey <vkni@yandex.ru>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: [devel] ocaml-reqprov and format change
Date: Mon, 09 Sep 2013 09:22:12 +0400
Message-ID: <107601378704132@web27g.yandex.ru> (raw)
Други!
Периодически пытаюсь собрать Ocaml 4 для Sisyphus'а, при этом натыкаюсь на различные проблемы.
Одна из самых серьёзных проблем - смена формата файлов cmi (или аналогичных), в 4-ой версии. Дело в том, что при сборке пакета Ocaml используются различные утилиты, в том числе и замечательная программа А. Турбина ocaml-reqprov. Эта программа читает файлы cmi, определяя зависимости.
При этом, она собирается в процессе сборки дистрибутива Ocaml. Однако, при определении requires пакета используется системная программа ocaml-reqprov, а не только что собранная.
И всё бы хорошо, но в момент обновления Ocaml с 3-ей на 4-ую версию получается так, что при сборке Ocaml4 используется ocaml-reqprov 3, которая не понимает часть файлов. Соответственно, сборка накрывается.
Если тупо заменить в системе 3-ю версию программы ocaml-reqprov на 4-ую, пакет Ocaml версии 4 соберётся.
Вопрос - как выходить из сложившейся ситуации? Я же не могу на сборочном сервере после компиляции Ocaml'а, но до установки заменить системную программу на только что собранную? Или могу?
Может быть есть более красивый выход?
Заранее спасибо,
Андрей.
next reply other threads:[~2013-09-09 5:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-09 5:22 Bergman Andrey [this message]
2013-09-09 14:19 ` Led
2013-09-09 23:55 ` Alexey Tourbin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=107601378704132@web27g.yandex.ru \
--to=vkni@yandex.ru \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git