On Fri, 21 Apr 2017 00:18:53 +0200 Mathieu Arnold wrote:
> Le 21/04/2017 à 00:16, Baptiste Daroussin a écrit:
>> On Fri, Apr 21, 2017 at 12:13:52AM +0200, Mathieu Arnold wrote:
>>> I am waiting on an exp-run to fix this once and for all.
>>>
>>> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=21
Le 21/04/2017 à 00:21, Baptiste Daroussin a écrit :
> On Fri, Apr 21, 2017 at 12:18:53AM +0200, Mathieu Arnold wrote:
>> Le 21/04/2017 à 00:16, Baptiste Daroussin a écrit :
>>> On Fri, Apr 21, 2017 at 12:13:52AM +0200, Mathieu Arnold wrote:
Le 20/04/2017 à 23:21, Baptiste Daroussin a écrit :
>
On Fri, Apr 21, 2017 at 12:18:53AM +0200, Mathieu Arnold wrote:
> Le 21/04/2017 à 00:16, Baptiste Daroussin a écrit :
> > On Fri, Apr 21, 2017 at 12:13:52AM +0200, Mathieu Arnold wrote:
> >> Le 20/04/2017 à 23:21, Baptiste Daroussin a écrit :
> >>> On Thu, Apr 20, 2017 at 11:18:14PM +0200, Koop Mas
Le 21/04/2017 à 00:16, Baptiste Daroussin a écrit :
> On Fri, Apr 21, 2017 at 12:13:52AM +0200, Mathieu Arnold wrote:
>> Le 20/04/2017 à 23:21, Baptiste Daroussin a écrit :
>>> On Thu, Apr 20, 2017 at 11:18:14PM +0200, Koop Mast wrote:
On Tue, 2017-03-07 at 00:56 +0100, Baptiste Daroussin wrot
On Fri, Apr 21, 2017 at 12:13:52AM +0200, Mathieu Arnold wrote:
> Le 20/04/2017 à 23:21, Baptiste Daroussin a écrit :
> > On Thu, Apr 20, 2017 at 11:18:14PM +0200, Koop Mast wrote:
> >> On Tue, 2017-03-07 at 00:56 +0100, Baptiste Daroussin wrote:
> >>> Hi all,
> >>>
> >>> I would like to propose a
Le 20/04/2017 à 23:21, Baptiste Daroussin a écrit :
> On Thu, Apr 20, 2017 at 11:18:14PM +0200, Koop Mast wrote:
>> On Tue, 2017-03-07 at 00:56 +0100, Baptiste Daroussin wrote:
>>> Hi all,
>>>
>>> I would like to propose a change in the localbase hier for ports
>>>
>>> I think we should add /usr/lo
On Thu, Apr 20, 2017 at 11:18:14PM +0200, Koop Mast wrote:
> On Tue, 2017-03-07 at 00:56 +0100, Baptiste Daroussin wrote:
> > Hi all,
> >
> > I would like to propose a change in the localbase hier for ports
> >
> > I think we should add /usr/local/share/man in the manpath along with
> > at first
On Tue, 2017-03-07 at 00:56 +0100, Baptiste Daroussin wrote:
> Hi all,
>
> I would like to propose a change in the localbase hier for ports
>
> I think we should add /usr/local/share/man in the manpath along with
> at first
> and maybe instead of in long term.
>
> The reason is:
> - /usr/local/s
On Fri, Mar 10, 2017 at 10:50:39AM +0100, Dag-Erling Smørgrav wrote:
> John Baldwin writes:
> > I wouldn't even mind if we had both /usr/local/man and /usr/local/share/man
> > so long as our default MANPATH included both if that means applying fewer
> > patches to ports.
>
> The default MANPATH i
On Fri, 10 Mar 2017 08:38:30 -0800 Steve Kargl
wrote:
> On Fri, Mar 10, 2017 at 05:03:08PM +0100, Tijl Coosemans wrote:
>> On Fri, 10 Mar 2017 10:50:39 +0100 Dag-Erling Smørgrav wrote:
>>> John Baldwin writes:
I wouldn't even mind if we had both /usr/local/man and /usr/local/share/man
On Fri, Mar 10, 2017 at 05:03:08PM +0100, Tijl Coosemans wrote:
> On Fri, 10 Mar 2017 10:50:39 +0100 Dag-Erling Smørgrav wrote:
> > John Baldwin writes:
> >> I wouldn't even mind if we had both /usr/local/man and /usr/local/share/man
> >> so long as our default MANPATH included both if that means
On Tue, 7 Mar 2017 00:56:10 +0100 Baptiste Daroussin wrote:
> My proposal is to add to the manpath /usr/local/share/man in default
> man(1) command in FreeBSD 12 (MFCed to 11-STABLE)
>
> and either provide an errata for 11.0/10.3 or a
> /usr/local/etc/man.d/something.conf via a port or something
On Fri, 10 Mar 2017 10:50:39 +0100 Dag-Erling Smørgrav wrote:
> John Baldwin writes:
>> I wouldn't even mind if we had both /usr/local/man and /usr/local/share/man
>> so long as our default MANPATH included both if that means applying fewer
>> patches to ports.
>
> The default MANPATH is const
On Thu, 9 Mar 2017 19:43:05 -0600 Benjamin Kaduk wrote:
> On Thu, Mar 09, 2017 at 12:35:32PM +0100, Tijl Coosemans wrote:
>> Note that -rpath /usr/local/lib isn't added by gcc but by libtool
>> because it assumes rtld will not search that directory automatically.
>> If you run './configure CC=gcc
John Baldwin writes:
> I wouldn't even mind if we had both /usr/local/man and /usr/local/share/man
> so long as our default MANPATH included both if that means applying fewer
> patches to ports.
The default MANPATH is constructed dynamically from PATH:
1. From each component of the user's
On Thu, Mar 09, 2017 at 12:35:32PM +0100, Tijl Coosemans wrote:
> Note that -rpath /usr/local/lib isn't added by gcc but by libtool
> because it assumes rtld will not search that directory automatically.
> If you run './configure CC=gcc --prefix=/usr && make check' the tests
> should succeed (witho
On Wednesday, March 08, 2017 04:39:50 PM Dag-Erling Smørgrav wrote:
> Baptiste Daroussin writes:
> > I would like to propose a change in the localbase hier for ports
> >
> > I think we should add /usr/local/share/man in the manpath along with
> > at first and maybe instead of in long term.
>
> 2)
On 03/06/17 18:56, Baptiste Daroussin wrote:
I think we should add /usr/local/share/man in the manpath along with at first
and maybe instead of in long term.
The reason is:
- /usr/local/share/man seems more consistent to me with base which have:
/usr/share/man
- It will remove lots of patches
On 9 Mar 2017, at 09:29, Dag-Erling Smørgrav wrote:
...
> 1)
>
> | I discovered that lang/gcc48 (and presumably the other gcc ports as
> | well) not only have /usr/local/include in their default include path,
> | but actually place it ahead of /usr/include. This is causing me no end
> | of grief
Tijl Coosemans writes:
> Right, to use libc iconv(3) with -I/usr/local/include and GNU libiconv
> installed you have to compile with -DLIBICONV_PLUG.
I didn't have -I/usr/local/include, gcc forced it on me.
DES
--
Dag-Erling Smørgrav - d...@des.no
___
On Thu, 09 Mar 2017 09:29:42 +0100 Dag-Erling Smørgrav wrote:
> Tijl Coosemans writes:
>> If you want to run a program from its build directory and the program
>> links to a library also in the build directory then you have to run the
>> program with LD_LIBRARY_PATH environment variable set to th
On Wed, 8 Mar 2017 20:47:31 -0800, Kevin Oberman
wrote:
>On Wed, Mar 8, 2017 at 12:35 PM, wrote:
>
>> On Tue, 7 Mar 2017 00:56:10 +0100, Baptiste Daroussin
>> wrote:
>>
>> >Hi all,
>> >
>> >I would like to propose a change in the localbase hier for ports
>> >
>> >I think we should add /usr/loca
jbe...@freebsd.org (Jan Beich) writes:
> /usr/local is *the* default location according to GNU[1] and reinforced
> by FHS[2] which want it "safe from being overwritten when the system
> software is updated". Not on FreeBSD where site-local stuff like your
> example above and ports/packages trample
Tijl Coosemans writes:
> If you want to run a program from its build directory and the program
> links to a library also in the build directory then you have to run the
> program with LD_LIBRARY_PATH environment variable set to the build
> directory. Or, you could link the program with -rpath , b
On Wed, Mar 8, 2017 at 12:35 PM, wrote:
> On Tue, 7 Mar 2017 00:56:10 +0100, Baptiste Daroussin
> wrote:
>
> >Hi all,
> >
> >I would like to propose a change in the localbase hier for ports
> >
> >I think we should add /usr/local/share/man in the manpath along with at
> first
> >and maybe instea
On Tue, 7 Mar 2017 00:56:10 +0100, Baptiste Daroussin
wrote:
>Hi all,
>
>I would like to propose a change in the localbase hier for ports
>
>I think we should add /usr/local/share/man in the manpath along with at first
>and maybe instead of in long term.
>
>The reason is:
>- /usr/local/share/man
On Wed, 8 Mar 2017 10:31:32 -0700 Warner Losh wrote:
> On Wed, Mar 8, 2017 at 10:21 AM, Tijl Coosemans wrote:
>> Are you talking about gcc implicitly searching /usr/local/include and
>> /usr/local/lib?
>
> That's currently inconsistent between base gcc, clang, binutils and
> ports versions. I
On Wed, 08 Mar 2017 16:39:50 +0100 Dag-Erling Smørgrav wrote:
> 4) Remove the hardcoded library path in lang/gcc*
>
> This makes it possible to work on software that includes both libraries
> and programs while an earlier copy of the same software is already
> installed. With the current state o
Dag-Erling Smørgrav writes:
> Baptiste Daroussin writes:
>
>> I would like to propose a change in the localbase hier for ports
>>
>> I think we should add /usr/local/share/man in the manpath along with
>> at first and maybe instead of in long term.
>
> 2) plus info -> share/info as suggested by
On Wed, Mar 8, 2017 at 10:21 AM, Tijl Coosemans wrote:
> On Wed, 08 Mar 2017 16:39:50 +0100 Dag-Erling Smørgrav wrote:
>> 4) Remove the hardcoded library path in lang/gcc*
>>
>> This makes it possible to work on software that includes both libraries
>> and programs while an earlier copy of the sa
On Wed, 08 Mar 2017 16:39:50 +0100 Dag-Erling Smørgrav wrote:
> 4) Remove the hardcoded library path in lang/gcc*
>
> This makes it possible to work on software that includes both libraries
> and programs while an earlier copy of the same software is already
> installed. With the current state o
Julian Elischer writes:
> Dag-Erling Smørgrav writes:
> > This makes it possible to work on software that includes both
> > libraries and programs while an earlier copy of the same software is
> > already installed. With the current state of gcc, the programs you
> > are working on will be linke
On 8/3/17 11:39 pm, Dag-Erling Smørgrav wrote:
Baptiste Daroussin writes:
I would like to propose a change in the localbase hier for ports
I think we should add /usr/local/share/man in the manpath along with
at first and maybe instead of in long term.
2) plus info -> share/info as suggested b
Baptiste Daroussin writes:
> I would like to propose a change in the localbase hier for ports
>
> I think we should add /usr/local/share/man in the manpath along with
> at first and maybe instead of in long term.
2) plus info -> share/info as suggested by jbeich
3) plus libdata/pkgconfig -> lib/
On 07/03/17 12:24, Diane Bruce wrote:
> On Tue, Mar 07, 2017 at 06:29:19AM +, Jan Beich wrote:
>> Baptiste Daroussin writes:
>>
>>> Hi all,
>>>
>>> I would like to propose a change in the localbase hier for ports
>>>
>>> I think we should add /usr/local/share/man in the manpath along with at
On Tue, 7 Mar 2017 09:51:14 -0600 Eric van Gyzen wrote:
> On 03/06/2017 17:56, Baptiste Daroussin wrote:
>> I would like to propose a change in the localbase hier for ports
>
> [...]
>
>> Which will also remove tons of hacks from the ports tree.
>>
>> What do you think?
>
> This sounds good
On Tue, 7 Mar 2017 00:56:10 +0100 Baptiste Daroussin wrote
> Hi all,
>
> I would like to propose a change in the localbase hier for ports
>
> I think we should add /usr/local/share/man in the manpath along with at first
> and maybe instead of in long term.
>
> The reason is:
> - /usr/local/sha
On 03/06/2017 17:56, Baptiste Daroussin wrote:
Hi all,
I would like to propose a change in the localbase hier for ports
[...]
Which will also remove tons of hacks from the ports tree.
What do you think?
This sounds good to me.
I seem to recall that most(?) Linux distros used /usr/man man
On Tue, Mar 07, 2017 at 06:29:19AM +, Jan Beich wrote:
> Baptiste Daroussin writes:
>
> > Hi all,
> >
> > I would like to propose a change in the localbase hier for ports
> >
> > I think we should add /usr/local/share/man in the manpath along with at
> > first
> > and maybe instead of in lon
On Tue, Mar 07, 2017 at 06:29:19AM +, Jan Beich wrote:
> Baptiste Daroussin writes:
>
> > Hi all,
> >
> > I would like to propose a change in the localbase hier for ports
> >
> > I think we should add /usr/local/share/man in the manpath along with at
> > first
> > and maybe instead of in lon
Baptiste Daroussin writes:
> Hi all,
>
> I would like to propose a change in the localbase hier for ports
>
> I think we should add /usr/local/share/man in the manpath along with at first
> and maybe instead of in long term.
>
> The reason is:
> - /usr/local/share/man seems more consistent to me
On 3/6/17 3:56 PM, Baptiste Daroussin wrote:
Hi all,
I would like to propose a change in the localbase hier for ports
I think we should add /usr/local/share/man in the manpath along with at first
and maybe instead of in long term.
The reason is:
- /usr/local/share/man seems more consistent t
Hi all,
I would like to propose a change in the localbase hier for ports
I think we should add /usr/local/share/man in the manpath along with at first
and maybe instead of in long term.
The reason is:
- /usr/local/share/man seems more consistent to me with base which have:
/usr/share/man
- It
43 matches
Mail list logo
