From: Led <ledest@gmail.com>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: Re: [devel] хидеры ocaml?
Date: Wed, 17 Sep 2008 01:52:39 +0300
Message-ID: <200809170152.39688.ledest@gmail.com> (raw)
In-Reply-To: <fbfa7b0c0809161539y66e508dfifd281d20da06f4c1@mail.gmail.com>
On Wednesday, 17 September 2008 01:39:24 Max Ivanov wrote:
> > $ rpm -qf /usr/lib64/ocaml/caml/mlvalues.h
> > ocaml-3.10.2-alt3.1
>
> А нормально, что они не в /usr/include?
ИМХО для ocaml - нормально.
Хотя линк %_includedir/caml -> %_libdir/ocaml/caml не помешал бы.
Или даже %_libdir/ocaml/caml -> %_includedir/caml с выносом хэдеров в
ocaml-devel (не думаю, что C-шние хэдеры используются в рантайме ocaml'ом).
--
Led
prev parent reply other threads:[~2008-09-16 22:52 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-16 21:51 Max Ivanov
2008-09-16 21:57 ` Led
2008-09-16 22:30 ` Max Ivanov
2008-09-16 22:45 ` Led
2008-09-16 22:39 ` Max Ivanov
2008-09-16 22:52 ` Led [this message]
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=200809170152.39688.ledest@gmail.com \
--to=ledest@gmail.com \
--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