X-Recipient: archive-cygwin AT delorie DOT com
DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:subject:to:references:from:cc:message-id:date
	:mime-version:in-reply-to:content-type
	:content-transfer-encoding; q=dns; s=default; b=VHnLJEh649VRn47v
	igSYmVFrK++xBdxbWlBUeFcL+vzcbIFK1IYyU+pRu9zut4stqFQUBOlpEVmEqRNi
	9Trs4SJPHlfG5qPCEepnqx89wk8D0kYEx21b3ggHevKPzFU6o/EZXBWfOh5O3FTW
	PK5AGtjvmLmSkeU0XYQQfGSWwWc=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:subject:to:references:from:cc:message-id:date
	:mime-version:in-reply-to:content-type
	:content-transfer-encoding; s=default; bh=+zskrdG/rZlz3MLOepWv/G
	XPfZU=; b=LU9lkHgDm8VSC6ho2AaM66QfOjGK8C0zpVqZWdEdkIkbokl/Mc4gcq
	bmHsTTsKV/jqyMpzUs12DPUv+/8UYB20xkMm8fVflUupRCsXneTA3kb7RM3m3Huo
	Un+UXr0MGDzGXWP/8a+piyHT/Vnqj9ce7RuabnWXSrgB4cEM9K9YU=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-3.1 required=5.0 tests=BAYES_00,FREEMAIL_FROM,KAM_COUK,RCVD_IN_DNSWL_NONE,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 spammy=H*M:tiscali, H*i:sk:3781b44, H*f:sk:3781b44, H*MI:sk:3781b44
X-HELO: smtp-out-1.tiscali.co.uk
Subject: Re: make freezes before end
To: cygwin AT cygwin DOT com
References: <CAPV4GkKhphHs0zmjbGeh7BT=6Kzu3XVLQqryyO9=-br83==Q8g AT mail DOT gmail DOT com> <af9814d4-5ed7-d682-d565-e0f9616ec903 AT gmail DOT com> <CAPV4GkLDA9kuA8d4P0hsKsxeGew-AcMwK0V5h4tPshZhdNcsFw AT mail DOT gmail DOT com> <3781b44f-9b9f-29bb-d862-6bc0aae77c2e AT gmail DOT com>
From: David Stacey <drstacey AT tiscali DOT co DOT uk>
Cc: cesargiulietti AT gmail DOT com
Message-ID: <abc07662-bcf1-fba9-e246-0d06a95ce2ae@tiscali.co.uk>
Date: Fri, 16 Sep 2016 14:51:15 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0
MIME-Version: 1.0
In-Reply-To: <3781b44f-9b9f-29bb-d862-6bc0aae77c2e@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-CMAE-Envelope: MS4wfJ/xnBs1l0nieS33oQ+qPQrR9cQRLiHIY6qHuXe3vnS1s+FT6hf1oexb+Hv3eEoKsTFht+hVcjMfd8ejw6ii/fW4/hXVWVYu5h/pIp0jYhgQXh4DGZ3w yCkzI9fw4x2STmGCzHumq3zVoNOPZ8sNH7bZc2X1Rm3tnroNJIIEjPcsSRz78rkKKjTXFBpL1grEKJ5BheAAtR3Wouo7rqTTANc=
X-IsSubscribed: yes

On 15/09/16 22:18, Marco Atzeri wrote:
> On 14/09/2016 18:04, Cesar wrote:
>> 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 processor. i've done the same thing in ubuntu,
>> it worked there but not here.
>>
>
> assuming that is https://github.com/kfl/mosml
>
> The build system is missing a configuration system
> (like cmake or autoconf ). The Makefile are hardcoded
> and of course the build system does not know cygwin
> and the outcome is bad.
>
> You need to manually modify the Makefiles, but usually
> this thing are complicated if possible at all.


There are some instructions for building under Cygwin in comments in one 
of the makefiles [1]. However, that may not help - there is an open 
ticket that mosml doesn't build on Cygwin [2].

Dave.

[1] - https://github.com/kfl/mosml/blob/master/src/Makefile.inc#L111
[2] - https://github.com/kfl/mosml/issues/37


--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple