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:date:from:reply-to:reply-to:to:message-id
	:subject:mime-version:content-type:content-transfer-encoding
	:references; q=dns; s=default; b=l+WcEQ3C7/Zyfw33Mx6diJCCwKNDSIV
	9QCGUqFyj4KYgUkJ5qk0EBMOUDfhjpsTUt3i9ifQ45Dk5ArS5B+CAFROwQE8iMhz
	QSuaISN8UL5A9OURIeWd8cRsnyGkyyv454s3en7wmBt+CjBzktL2OxhUlqPjIWaH
	mxAgp25CDOZ8=
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:date:from:reply-to:reply-to:to:message-id
	:subject:mime-version:content-type:content-transfer-encoding
	:references; s=default; bh=Q1MyYf90NGkWlqp1Ojx0dKdGGpQ=; b=mGPSj
	4TU+4hVJXvqe1Xkux5ya21N8Ee/oT/zcLIHUHhpjf0Y02iFHaycLZLOJrU9QT28x
	niCwoyV6J1Bqbgh40J2nojLZA2TL8HEVQt2H2DmkhrPwHNjA/1N1GTeXg1LVRwwc
	uDbqdyrQlKkY2U84Iz3be1V4+Xa++AIrl/akwQ=
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=4.2 required=5.0 tests=BAYES_50,FORGED_MUA_MOZILLA,FREEMAIL_FROM,KAM_COUK,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=no version=3.3.2 spammy=H*R:D*co.uk, mtl, H*x:1.1.10521, H*UA:1.1.10521
X-HELO: sonic304-48.consmr.mail.ne1.yahoo.com
Date: Mon, 18 Sep 2017 15:13:21 +0000 (UTC)
From: "Graham Laight via cygwin" <cygwin AT cygwin DOT com>
Reply-To: Graham Laight <gandtandb AT yahoo DOT co DOT uk>
Reply-To: Graham Laight <gandtandb AT yahoo DOT co DOT uk>
To: "cygwin AT cygwin DOT com" <cygwin AT cygwin DOT com>
Message-ID: <1594208380.1685699.1505747601936@mail.yahoo.com>
Subject: Problem Compiling Source Code From Unix
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
References: <1594208380 DOT 1685699 DOT 1505747601936 DOT ref AT mail DOT yahoo DOT com>

Hi Everyone, 

I am trying to compile some SAT solvers, which all come as Unix source-code bundles. I have installed Cygwin at c:\cygwin, and added c:\cygwin\bin to my Windows path. 

Lingeling came with the following instructions: 

configure && make 

Once I realised this translates to... 

sh configure.sh && make 

...it was fine, and I am happily running Lingeling - which is a good SAT solver! 

Unfortunately, many of the other SAT solvers are based on MiniSat - and these all have the same instructions, which I cannot follow: 

export MROOT=<minisat-dir>  (or setenv in cshell) 
cd { core | simp } 
gmake rs 

I don't know what export MROOT means (or setenv). Then I do cd core (to get to the C:\Temp\MapleCOMSPS\core folder), and issue 

make rs 

I receive the error: 

Makefile:4: /mtl/template.mk: No such file or directory 
make: *** No rule to make target '/mtl/template.mk'.  Stop. 

It cannot find included files in C:\Temp\MapleCOMSPS\mtl . I have also tried adding C:\Temp\MapleCOMSPS\mtl to the Windows path - but this didn't change anything. 

Apologies if this question has more to do with my lack of knowledge of compiling under Linux than it does with Cygwin - but it would mean a lot to me to be able to get the other SAT solvers working, so I would really appreciate guidance!

PS - further apologies if the list receives a duplicate of this message - but my Outlook mail is misbehaving.

--
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