g-wrap: devel branch added, 2 patches puched

2014-09-21 Thread David Pirotte
Hello, I created a devel branch and pushed a very slightly modified [white spaces, empty line before EOF] version of the 2 previously sent manual pages patches [attached]. Within the next few days, hopefully, I'll have uploaded this new version of the manual on g-wrap's web site, will report wh

Re: [PATCH 1/1] Add "&" asm constraint modifier to ASM_MUL outputs

2014-09-21 Thread Mark H Weaver
Rob Browning writes: > Without this change, building for arm{hf,el} with gcc-4.9 (Debian > 4.9.1-14) fails as follows: > > /tmp/ccdZTkXQ.s:14591: rdhi, rdlo and rm must all be different > > Thanks to Mark H Weaver for the suggestion. Sorry, I pushed my own equivalent commit before I saw your

Re: [PATCH] guile-readline: Use an empty string if HOME is unset

2014-09-21 Thread Mark H Weaver
David Michael writes: > * guile-readline/ice-9/readline.scm (history-file): When the HOME > environment variable is unset, use the empty string in its place. FYI, this was discussed at , and we decided to have guile-readline put .guile_history in the current directory

Re: Fix link failure in test-suite/standalone

2014-09-21 Thread Mark H Weaver
Eli Zaretskii writes: > Linking test-scm-take-locale-symbol fails on systems that need > rpl_strdup from gnulib. Here's the fix: > > --- test-suite/standalone/Makefile.am~0 2014-03-20 10:06:33.0 > +0200 > +++ test-suite/standalone/Makefile.am 2014-08-16 14:56:02.828125000 +0300 >

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread William ML Leslie
I wasn't really sure if I should reply to this thread again, but I guess I should clear up some of my thoughts and experiences here. On 20 September 2014 22:46, Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com> wrote: > Panicz Maciej Godek writes: > > [...] the back doors can be implemente

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Panicz Maciej Godek
2014-09-21 13:11 GMT+02:00 Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com>: > [...] > Still, one last political remark from me: > > Things are more complicated. Google might be incapable of evil, but > then they might be a tool of the US government. Not calling the US > government "evil"

Re: [screen-devel] GSoC 2015 and GNU Screen

2014-09-21 Thread Mike Gerwitz
On Sun, Sep 21, 2014 at 01:49:38PM +0200, Artur Skonecki wrote: > I always fanced scripting for GNU Screen. In GSoC 2009 there was work done > on scripting for GNU Screen which included Python and Lua. However it > didn't got upstream. > https://www.google-melange.com/gsoc/project/details/google/gs

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Taylan Ulrich Bayirli/Kammer
Panicz Maciej Godek writes: > How can we know that the enemy isn't using some laws of physics that > we weren't taught at school (and that he deliberately keeps that > knowledge out of schools)? Then our enemy will always be in control! > This reasoning, although paranoid, seems completely valid,

Re: Dijkstra's Methodology for Secure Systems Development

2014-09-21 Thread Panicz Maciej Godek
2014-09-20 14:46 GMT+02:00 Taylan Ulrich Bayirli/Kammer < taylanbayi...@gmail.com>: > Panicz Maciej Godek writes: > > > [...] > > First of all let me say I agree with you; guile-devel is the wrong place > to discuss these things. > > Having this settled, let's proceed with our discussion :) > I