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:from:to:subject:date:message-id:content-type
	:content-transfer-encoding:mime-version; q=dns; s=default; b=Ud4
	3+GZ1pD6x8rhWAc5NdZ0jdn4bclRT2FeA/olwpiRHbefIo2Zi5qqP78sGgalZp8y
	+J3L2wdrWlN9mlskdPRJenouXrWfE5+pK4B3XLbbIgKZ+Hoq0Hh0iZzy6VKB5HyN
	1QIeZbFD9h80IBw+EsMwofgZdvdy6YgA/5Werq2c=
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:from:to:subject:date:message-id:content-type
	:content-transfer-encoding:mime-version; s=default; bh=IKInDWPzJ
	cIoTjuXqktDoDmgigg=; b=UUUgIQ/YP0fWTiN2Zm4u3RcgTn6+Zb6jLoNex8jjh
	8qNWUi5o2qUz3Wn5ZLZJoqulkmm9HIr91lYtxM3q4KR6ZVg7XXMr1BfKAHBZuiYK
	mzQyniLMBMnFD3ufGCGTaSn0ULjOQh8Slb3IgcM0gORct+fY5hInQfOlCJzyQsnn
	vw=
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=0.6 required=5.0 tests=BAYES_00,DATE_IN_PAST_03_06,FORGED_HOTMAIL_RCVD2,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS,SPF_PASS autolearn=no version=3.3.2 spammy=mtl
X-HELO:	EUR02-HE1-obe.outbound.protection.outlook.com
From:	Tawny Owl <tow_force AT hotmail DOT com>
To:	"cygwin AT cygwin DOT com" <cygwin AT cygwin DOT com>
Subject:	Problem Compiling A Linux Source Bundle
Date:	Mon, 18 Sep 2017 15:04:20 +0000
Message-ID:	<AM5P189MB0305CC9D448CFD8CE241532F81630@AM5P189MB0305.EURP189.PROD.OUTLOOK.COM>
authentication-results:	cygwin.com; dkim=none (message not signed) header.d=none;cygwin.com; dmarc=none action=none header.from=hotmail.com;
x-incomingtopheadermarker:	OriginalChecksum:155BEFBA5E1F0C0DE52C6E2BC43C24C73696B165ABC38384765DD7831DB29C3A;UpperCasedChecksum:0EF6A5AD28D460D580E14AC3169C6D1C2F0880E31C90429FFC055BDAAB575250;SizeAsReceived:6868;Count:44
x-ms-exchange-messagesentrepresentingtype:	1
x-tmn:	[ikYKjBDalgcRQ+onvbfc2yJkpC7HzkzT]
x-ms-publictraffictype:	Email
x-microsoft-exchange-diagnostics:	1;AM5EUR02HT044;6:NFS16tFI/EDvRsdZdcB6gbNK7TtqqHPJfM0X+mkSF5ddY7cFFgQlUkEU8mK4TjVE4ppgYFqVv/J4UQviFuiSSbtTpcofJw2EmJOyVjqKQZTL0IrqGzN3fZklKFSHpx9lODLwzcsKExA/6XvJkunfTF6up1PczUUZ0YNn3xTKYmMBbd8LmZtDfeVJD7W22vXatsGk0yYl1vqReCwmWQ3G8EVk2O8u2B9iXobj6LLuexGcy+EdtGQiwG/aT6AykWjFHz8RvU7MXDXdVc0H7J3tgHRwWNEY0WeYx+Rvnpquv0CyqWMrPhEpPDSCq0Czqc2NVjLy3GkYB8ZTj018Ev25FQ==;5:4wVjxqCdmfYi6/APcK4Oq1hjiXYbS/JavxvVlGp431UV+oeoMuAoWFnAlBwDob9BJCp22PfjUmkMuBKaioNbm2MDH/fFIP9eI82o7NMeFzHen8aAPaB+q5GfGFqNqGc2pRWvVNMsO8xjOav2rQXNbA==;24:YW5Je3si+2BMu1/z8tVQyAsBM6NmIvJG7p12dy9Wyu9G6HBvH0EsUzMz51oRs41EQm+nIrCV9MT6MkvpbmOD77QHSoSolNnHHcVAswtt4l0=;7:VALRIhzPXEswNIonjwrTuuKNPoCSbUnW2dWS58hh3p+XISaIg65bSwat+qteJ7k1y61FtEXGJwGqSmQhJ98DMjkdIC45o1arFzAo8GxqlbXDT3MWa4P+ahjAMpnKsXlKIUF+nvxJd6vK9ObJzkihUqaZzrxHzAw0bm5gZ5CECpEnsUZd4HOPugrOinAGZxjnF8Rl3Wlaqr+vhUKPmGEczX3QP1HUSmmEB19lH94Nn3s=
x-incomingheadercount:	44
x-eopattributedmessage:	0
x-ms-office365-filtering-correlation-id:	a6d1efb6-8f44-42dd-83ed-08d4fecde1a6
x-microsoft-antispam:	UriScan:;BCL:0;PCL:0;RULEID:(300000500095)(300135000095)(300000501095)(300135300095)(300000502095)(300135100095)(22001)(300000503095)(300135400095)(201702061074)(5061506573)(5061507331)(1603103135)(2017031320274)(2017031324274)(2017031323274)(2017031322404)(1601125374)(1603101448)(1701031045)(300000504095)(300135200095)(300000505095)(300135600095)(300000506095)(300135500095);SRVR:AM5EUR02HT044;
x-ms-traffictypediagnostic:	AM5EUR02HT044:
x-exchange-antispam-report-test:	UriScan:;
x-exchange-antispam-report-cfa-test:	BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(444000031);SRVR:AM5EUR02HT044;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:AM5EUR02HT044;
x-forefront-prvs:	04347F8039
x-forefront-antispam-report:	SFV:NSPM;SFS:(7070007)(98901004);DIR:OUT;SFP:1901;SCL:1;SRVR:AM5EUR02HT044;H:AM5P189MB0305.EURP189.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:;
spamdiagnosticoutput:	1:99
spamdiagnosticmetadata:	NSPM
MIME-Version:	1.0
X-OriginatorOrg:	hotmail.com
X-MS-Exchange-CrossTenant-originalarrivaltime:	18 Sep 2017 15:04:20.9912 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader:	Internet
X-MS-Exchange-CrossTenant-id:	84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped:	AM5EUR02HT044
X-MIME-Autoconverted:	from quoted-printable to 8bit by delorie.com id v8IJkhAU014125

Hi Everyone,

I am trying to compile some SAT solvers, which all come as Unix source-code bundles, under Windows 10. 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!

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

- Raw text -