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

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