Re: make freezes before end

2016-09-14 Thread Cesar
Marco, thanks for your response, mosml is a lightweight implemetation of SML -standard ML, a functional programming language similar to Haskell-, i tried running "--trace" and it does the same thing. I've just confirmed that is not an issue with the make command since it worked for the M4 macro pro

Re: Commands not working as expected.

2016-09-14 Thread Brian Inglis
On 2016-09-13 05:33, Brian S. Wilson wrote: On 09/12/2016 00:20 AM, Brian Inglis wrote: On 2016-09-11 17:03, Brian S. Wilson wrote: ls -l I am using a McAfee Security Center and I disabled the firewall and Virus and Spyware scans; but this didn't help. I've not had a problem with McAfee previ

Re: make freezes before end

2016-09-14 Thread Marco Atzeri
On 14/09/2016 17:01, Cesar wrote: hi, i'm having an issue with make, i'm trying to install mosml and when i type make, it seems to start ok but then it stops at "this is a little endian architecture" and freezes there, it does nothing else. is there something i'm missing? thanks in advance.

make freezes before end

2016-09-14 Thread Cesar
hi, i'm having an issue with make, i'm trying to install mosml and when i type make, it seems to start ok but then it stops at "this is a little endian architecture" and freezes there, it does nothing else. is there something i'm missing? thanks in advance. -- Problem reports: http://cygwi

python-gtk2

2016-09-14 Thread Marco Atzeri
Hi Folks, I am trying to use UPnP-Inspector http://coherence.beebits.net/wiki/UPnP-Inspector In the last development version UPnP_Inspector-0.2.3-py2.7.egg contains on EGG-INFO/requires.txt Coherence >= 0.6.4 Twisted pygtk setuptools That causes the program to fail with -

Re: Error starting zsh

2016-09-14 Thread Marco Atzeri
On 14/09/2016 08:43, Terry Branaman wrote: I have started getting an error every time I start zsh on Windows 10: 0 [main] zsh 8672 fork: child 4240 - died waiting for dll loading, errno 11 /etc/profile.d/lang.sh:21: fork failed: resource temporarily unavailable 220980 [main] zsh 8672 fork: