[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Sat, 05 Dec 2009 09:59:12 +0100, Ingmar Vanhassel wrote: > Excerpts from Carl Worth's message of Sat Dec 05 01:56:56 +0100 2009: > > Cool. At least not everyone thinks I'm crazy then. That's > > encouraging. :-) > > I'm not convinced that re-implementing lots of things that autoconf >

[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

Excerpts from Carl Worth's message of Sat Dec 05 01:56:56 +0100 2009: > Cool. At least not everyone thinks I'm crazy then. That's > encouraging. :-) I'm not convinced that re-implementing lots of things that autoconf already handles properly & portably is the better route to go. It's purely a

Re: [notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

Excerpts from Carl Worth's message of Sat Dec 05 01:56:56 +0100 2009: Cool. At least not everyone thinks I'm crazy then. That's encouraging. :-) I'm not convinced that re-implementing lots of things that autoconf already handles properly portably is the better route to go. It's purely a waste

[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Fri, Dec 04, 2009 at 04:12:47PM -0800, Carl Worth wrote: > Handling --prefix will be a nice addition to our configure script. So, > thanks! Yeah, it's definitely needed for the Debian packaging as well. > Your commit message has that flag word of "also" in it, and as it turns > out, the

[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Fri, 4 Dec 2009 19:20:50 -0500, Jameson Graef Rollins wrote: > > Your commit message has that flag word of "also" in it, and as it turns > > out, the removal of Makefile.config from the repository has actually > > happened already. But that was easy enough to fix. > > I was thinking that the

[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Sat, 28 Nov 2009 18:57:35 -0500, Jameson Graef Rollins wrote: > This also removes the Makefile.config from the repository, since it > shouldn't be kept in the repository and should be created by the > configure script. Hi Jamie, Handling --prefix will be a nice addition to our configure

Re: [notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Sat, 28 Nov 2009 18:57:35 -0500, Jameson Graef Rollins jroll...@finestructure.net wrote: This also removes the Makefile.config from the repository, since it shouldn't be kept in the repository and should be created by the configure script. Hi Jamie, Handling --prefix will be a nice

Re: [notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Fri, Dec 04, 2009 at 04:12:47PM -0800, Carl Worth wrote: Handling --prefix will be a nice addition to our configure script. So, thanks! Yeah, it's definitely needed for the Debian packaging as well. Your commit message has that flag word of also in it, and as it turns out, the removal of

Re: [notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

On Fri, 4 Dec 2009 19:20:50 -0500, Jameson Graef Rollins jroll...@finestructure.net wrote: Your commit message has that flag word of also in it, and as it turns out, the removal of Makefile.config from the repository has actually happened already. But that was easy enough to fix. I was

[notmuch] [PATCH 1/3] fix configure script to handle --prefix= and properly create Makefile.config

This also removes the Makefile.config from the repository, since it shouldn't be kept in the repository and should be created by the configure script. --- Makefile.config |3 --- configure | 12 +++- 2 files changed, 11 insertions(+), 4 deletions(-) delete mode 100644