[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: libtool assumes that "file" is in /usr/bin
From: |
Vincent Lefevre |
Subject: |
Re: libtool assumes that "file" is in /usr/bin |
Date: |
Thu, 8 May 2008 12:29:52 +0200 |
User-agent: |
Mutt/1.5.17-vl-r21552 (2008-04-09) |
On 2008-05-07 22:40:00 -0500, Bob Friesenhahn wrote:
> Libtool.m4 uses /usr/bin/file in operating system specific cases which
> are usually very well tested. It is very odd that this Debian system
> does not include /usr/bin/file. Maybe the user's Debian system is
> altered or broken?
The priority of the "file" package in Debian is "standard", not
"required". Thus it can be removed (and perhaps not necessarily
automatically installed in some cases), and neither gcc nor make
depends on it.
And the GNU Coding Standards don't seem to require "file". Should
anything be done about that?
--
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
- libtool assumes that "file" is in /usr/bin, Vincent Lefevre, 2008/05/07
- Re: libtool assumes that "file" is in /usr/bin, Bob Friesenhahn, 2008/05/07
- Re: libtool assumes that "file" is in /usr/bin, Vincent Lefevre, 2008/05/07
- Re: libtool assumes that "file" is in /usr/bin, Vincent Lefevre, 2008/05/07
- Re: libtool assumes that "file" is in /usr/bin, Bob Friesenhahn, 2008/05/07
- Re: libtool assumes that "file" is in /usr/bin,
Vincent Lefevre <=
- Re: Re: libtool assumes that "file" is in /usr/bin, Andreas Florath, 2008/05/09
- Re: Re: libtool assumes that "file" is in /usr/bin, Bob Friesenhahn, 2008/05/09
- Re: Re: libtool assumes that "file" is in /usr/bin, Vincent Lefevre, 2008/05/09
- Re: Re: libtool assumes that "file" is in /usr/bin, Bob Friesenhahn, 2008/05/09
- Re: Re: libtool assumes that "file" is in /usr/bin, Ralf Wildenhues, 2008/05/18
- Re: Re: libtool assumes that "file" is in /usr/bin, Vincent Lefevre, 2008/05/18
- Re: libtool assumes that "file" is in /usr/bin, Andreas Florath, 2008/05/24
- Re: libtool assumes that "file" is in /usr/bin, Bob Friesenhahn, 2008/05/24