ALT Linux Team development discussions
 help / color / mirror / Atom feed
* [devel] ocaml-reqprov and format change
@ 2013-09-09  5:22 Bergman Andrey
  2013-09-09 14:19 ` Led
  2013-09-09 23:55 ` Alexey Tourbin
  0 siblings, 2 replies; 3+ messages in thread
From: Bergman Andrey @ 2013-09-09  5:22 UTC (permalink / raw)
  To: ALT Linux Team development discussions

Други! 

Периодически пытаюсь собрать 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'а, но до установки заменить системную программу на только что собранную? Или могу?

Может быть есть более красивый выход?

Заранее спасибо,
    Андрей.


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2013-09-09 23:55 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-09  5:22 [devel] ocaml-reqprov and format change Bergman Andrey
2013-09-09 14:19 ` Led
2013-09-09 23:55 ` Alexey Tourbin

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