Re: Verifying Toolchain Semantics

2014-10-06 Thread Nala Ginrut
On Mon, Oct 6, 2014 at 12:24 AM, Ian Grant wrote: > On Sun, Oct 5, 2014 at 11:15 AM, Nala Ginrut wrote: > > > > Alright, I changed a system and try it again with evince successfully. > > Anyway, I did't find any maths or special symbols in it, so it could be > > published on your blog as plain t

Re: Verifying Toolchain Semantics

2014-10-06 Thread William ML Leslie
On 6 October 2014 11:30, Ian Grant wrote: > http://lists.gnu.org/archive/html/guile-devel/2014-10/msg00016.html > > From:William ML Leslie > Date:Mon, 6 Oct 2014 00:57:49 +1100 > On 3 October 2014 22:56, Taylan Ulrich Bayirli/Kammer > wrote: > > > Say, for example, that I can guess you w

Re: [PATCH] parameterize programs used by autogen.sh

2014-10-06 Thread Ludovic Courtès
I ended up reinstating the strategy that chooses ‘glibtoolize’ based on ‘uname -s’. Let me know what you think. Thanks, Ludo’.

[PATCH] parameterize programs used by autogen.sh

2014-10-06 Thread Daniel Llorens
> Date: Mon, 06 Oct 2014 15:25:10 +0200 > From: l...@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) > To: guile-devel@gnu.org > Subject: Re: [PATCH] parameterize programs used by autogen.sh > I ended up reinstating the strategy that chooses ?glibtoolize? based on > ?uname -s?. Let me know what you t

g-wrap: .org file, any one?

2014-10-06 Thread David Pirotte
Hello, Any one knows where I can find or has the g-wrap.org file upon which the g-wrap web pages are based? I have checked out the cvs [savannah based] project's web pages but the .org file is not there... Cheers, David signature.asc Description: PGP signature