ALT Linux Team development discussions
 help / color / mirror / Atom feed
* [devel] ocaml, x86-32 и -fPIC
@ 2015-08-27  3:07 Bergman Andrey
  2015-08-27  3:26 ` Hihin Ruslan
  2015-08-27  6:36 ` Dmitry V. Levin
  0 siblings, 2 replies; 6+ messages in thread
From: Bergman Andrey @ 2015-08-27  3:07 UTC (permalink / raw)
  To: ALT Linux Team development discussions

Други!

Возникла проблема при прогоне verify-elf на библиотеке ocaml4-gsl:

the file containing the function 'camlGsl_vector__reverse_1183' is not compiled with -fpic/-fPIC
verify-elf: ERROR: ./usr/lib/ocaml/site-lib/gsl/gsl.cmxs: TEXTREL entry found: 0x00000000

Увы и ах, но ocaml не умеет создавать позиционно независимый код для архитектуры x86-32,
хотя прекрасно создаёт такое для x86-64.

Что делать? (кстати, проверить под x86-32 эту библиотеку я не могу - у меня везде x86-64)

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


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

end of thread, other threads:[~2015-08-27 14:16 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-08-27  3:07 [devel] ocaml, x86-32 и -fPIC Bergman Andrey
2015-08-27  3:26 ` Hihin Ruslan
2015-08-27  5:02   ` Bergman Andrey
2015-08-27  5:12     ` Hihin Ruslan
2015-08-27  6:36 ` Dmitry V. Levin
2015-08-27 14:16   ` Bergman Andrey

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