[m-rev.] for review: mercury installer script

[Peter Ross]

On Wed, Nov 23, 2005 at 09:14:11AM +1100, Ian MacLarty wrote:
> On Tue, Nov 22, 2005 at 11:40:52AM +0100, Peter Ross wrote:
> > On Tue, Nov 22, 2005 at 04:52:34PM +1100, Julien Fischer wrote:
> > > On Tue, 22 Nov 2005, Ian MacLarty wrote:
> > > >
> > > > The .prof grades don't work on Cygwin.
> > > 
> > > I'll take a look at that.
> > > 
> > I've looked, and it isn't easy.  The profiler works by registering a
> > handler for a signal which is generated every N clock ticks.  This
> > handler then increments the count for the current mercury label in a
> > data-structure.
> > 
> > Under cygwin it is impossible to do this as the signal isn't supported.
> > 
> > I looked once at trying to spawn a side thread which slept N miliseconds
> > then sampled the current label somehow, but never got my head around
> > exactly what needed to be changed and where.
> > 
> 
> Have you by any chance had a look to see if that signal is supported
> under MinGW?  I have been meaning to, but haven't had the time.
> 
No, never looked (we didn't support MinGW when I was thinking about this
in 2000).
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------