From: Alexey Tourbin <at@altlinux.ru>
To: devel@lists.altlinux.org
Subject: [devel] pcre-ocaml custom executables
Date: Thu, 10 Apr 2008 14:34:37 +0400
Message-ID: <20080410103437.GA14175@solemn.turbinal> (raw)
[-- 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 --]
next reply other threads:[~2008-04-10 10:34 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-10 10:34 Alexey Tourbin [this message]
2008-04-10 12:02 ` Sergey Vlasov
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=20080410103437.GA14175@solemn.turbinal \
--to=at@altlinux.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