public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Rafael Espíndola" <rafael.espindola@gmail.com>
To: gentoo-dev@lists.gentoo.org
Subject: [gentoo-dev] Re: xorg's RDEPEND
Date: Thu, 19 May 2005 13:52:28 -0300	[thread overview]
Message-ID: <564d96fb05051909526d43bf0a@mail.gmail.com> (raw)
In-Reply-To: <428BF81E.9090703@gentoo.org>

On 5/18/05, Donnie Berkholz <spyderous@gentoo.org> wrote:
> How is it that you know those two greps will catch everything?
I don't. In fact I am sure they don't catch everything: given a Turing
machine one can replace all halts by a "do something with flex". So it
is undecidable if x11 rdepends on flex (or xbill) and one must prove
it to be sure. I just want to give some indications that flex is not a
dependency.

Another one:
epm -ql flex:
there is some docs, some infos and a man page. I assume that X doesn't
need those.
there is a static lib and a header. As far as I know X doesn't compile
anything after it is installed.
there is the flex binary. As far as I know X doesn't create lexical
analyzer after it is installed.

Please don't missunderstand me. I am not being pedantic. I am creating
a thin-client with gentoo and would like to make it easier for someone
that wants to do that something similar afterwards.

Thanks,
Rafael

-- 
gentoo-dev@gentoo.org mailing list


  reply	other threads:[~2005-05-19 16:52 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-18 17:09 [gentoo-dev] xorg's RDEPEND Rafael Espíndola
2005-05-18 17:59 ` Donnie Berkholz
2005-05-18 23:51   ` [gentoo-dev] " Rafael Espíndola
2005-05-19  2:21     ` Donnie Berkholz
2005-05-19 16:52       ` Rafael Espíndola [this message]
2005-05-19 17:14         ` Chris Gianelloni
2005-05-21  8:59           ` Henrik Brix Andersen
2005-05-23 19:00             ` Chris Gianelloni
2005-05-18 18:07 ` [gentoo-dev] " Diego 'Flameeyes' Pettenò
2005-05-18 18:52   ` Mike Frysinger
2005-05-18 19:35     ` Diego 'Flameeyes' Pettenò
2005-05-18 19:46       ` Mike Frysinger

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=564d96fb05051909526d43bf0a@mail.gmail.com \
    --to=rafael.espindola@gmail.com \
    --cc=gentoo-dev@lists.gentoo.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
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox