ALT Linux Team development discussions
 help / color / mirror / Atom feed
* [devel] pcre-ocaml custom executables
@ 2008-04-10 10:34 Alexey Tourbin
  2008-04-10 12:02 ` Sergey Vlasov
  0 siblings, 1 reply; 2+ messages in thread
From: Alexey Tourbin @ 2008-04-10 10:34 UTC (permalink / raw)
  To: devel

[-- Attachment #1: Type: text/plain, Size: 797 bytes --]

У меня вопрос к специалистам по окамлю.  Я когда линкуюсь с pcre.cma,
у меня окамль создаёт custom executable, а не bytecode ocamlrun script.
Почему так происходит?

$ cp -pv /usr/share/doc/pcre-ocaml-*/examples/pcregrep/pcregrep.ml .
`/usr/share/doc/pcre-ocaml-5.13.0/examples/pcregrep/pcregrep.ml' -> `./pcregrep.ml'
$ ocamlc -I +site-lib/pcre pcre.cma pcregrep.ml                      
$ file ./a.out
./a.out: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.9, not stripped
$ strip -s ./a.out 
$ ./a.out 
No bytecode file specified.
$ 

(strip действует на custom executables фатально; но и воообще
"дистрибутивно" ocaml не должен создавать custom executables,
если только об этом его специально не попросят.)

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

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

* Re: [devel] pcre-ocaml custom executables
  2008-04-10 10:34 [devel] pcre-ocaml custom executables Alexey Tourbin
@ 2008-04-10 12:02 ` Sergey Vlasov
  0 siblings, 0 replies; 2+ messages in thread
From: Sergey Vlasov @ 2008-04-10 12:02 UTC (permalink / raw)
  To: devel

[-- Attachment #1: Type: text/plain, Size: 726 bytes --]

On Thu, Apr 10, 2008 at 02:34:37PM +0400, Alexey Tourbin wrote:
> У меня вопрос к специалистам по окамлю.  Я когда линкуюсь с pcre.cma,
> у меня окамль создаёт custom executable, а не bytecode ocamlrun script.
> Почему так происходит?

Потому что при сборке пакета pcre-ocaml в Makefile не передаётся
NO_CUSTOM=1, в результате ocamlc вызывается с опцией -custom, которая
запоминается в pcre.cma и автоматически включается при сборке любой
программы, использующей эту библиотеку.

Нужно пересобрать пакет с добавлением NO_CUSTOM=1 (это не мешает
сборке custom runtime при необходимости - значения опций -cclib всё
равно сохраняются в *.cma и будут автоматически подставлены при сборке
с указанием опции -custom).

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

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

end of thread, other threads:[~2008-04-10 12:02 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-04-10 10:34 [devel] pcre-ocaml custom executables Alexey Tourbin
2008-04-10 12:02 ` Sergey Vlasov

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