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=Q/9
	p52eYVUrPR9yakt0oe3qUm4//0u39Sk0eMKaiPvP/o1jg28doSStS9tyGMroweV6
	+Cuh1WmBn0U2yYOFx/sXh8iXuBmnxS/KilLMY0t1IXFLhzG/1nZ3nyM1S2yoccWF
	Z4qyPAGJEXdUigeaC1cRIJMIGgTei27UA5Mkrr6c=
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=3dynrWn2t
	DdNwOaeCKoNXdwyFLQ=; b=pYjXKzwiDKW+c7+W+ksThAH2m3O4GkIssEAN2jvg6
	q9K0IC4o/NzYZkECI4g+89VqEuxzuDczIO+GWThdyENafYjWLWDiSw9NJNyGluld
	AzjTN24Mr+Lu+JtcW4C0X3aW7dfsmJ7MM+SL1OjFspzZSxK2juisEw9AYMVfVweL
	uQ=
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-VE1-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:	Trouble compiling Linux source bundle
Date:	Mon, 18 Sep 2017 14:50:46 +0000
Message-ID:	<AM5P189MB0305C7E6BABDCF91E4FC540381630@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:2F2B0E1FAA428C4916C80184E83B4357266FDF81EA85A3246DD793044023C2B9;UpperCasedChecksum:C1B7339AEA2F5C04D4B7696E28EF10BA927E823BDFE17EEFD8136B863A276F00;SizeAsReceived:7032;Count:46
x-ms-exchange-messagesentrepresentingtype:	1
x-tmn:	[eo3d8h4o6Mkasn23ozZHrpxfg/XiajIm]
x-ms-publictraffictype:	Email
x-microsoft-exchange-diagnostics:	1;AM5EUR02HT162;6:iL3vsBS4mgmrldQ0MLz8QP+gKaJCLZGJZfEif/Bbvt1cciP9uTPWuMMgqBL51nPxSxhLhGTBh1PcIXTN++VLK3wscIV7WiDX0/oLWe4WkIVGfQXL3MHWcpL2maYgeDFocFziEWq8yJdf0L3hweCVlfQ501Mi8ZP2YR1NH6ZS6fT2O7kLffwXiR0NbvG4pAUPuIWfO+uihLh5RwscfQ47Qde5tUHvkhPK33O4YfPUoRHEKRfYr2J2YHVH8nWCPBkUR3escnHK1FO6lXx4K0IqKH2kmeuOl5iMA7l3MxCPhCLlVkwie/TZfzgbRaD4PPy033qXowuoTmt39Qj133O9QQ==;5:FeK8zOY6jfgx9l9qsTdcjIQ1bjbru3LFZqrfv/QfCW5YTwoB5t/PflRrzd6Wqbo9pSqYFg4IKNubXKHhdq1Gje+J2ni6nOPpY0OT0FueRvjiCiVJ+R1tig/oc2or5Cxm/S3Cq5H7CR/NBJhwx2jL7A==;24:MkhS+db4lyc+We7Zu9qG4cIbJ/K2jlsYNiulwHbyRKKIoIJ7WvtW/p6xI18xtplmlD4JV7/OKpStUrEwXWwkkG2cet2JjbfRqGZ5yoE0A+4=;7:LTse56fkFWExzrNBR5CYEnPbURT71HPy/hG8b5MfrLXmJap9/BMelgociym4er2cHrk2xoLUZErW/lZF/JeNBcA+RNTvtzQfa65Tziff4gbmyNY2mKRAEdjXAg3FljyA/1jEPcRfjOQdyH6tDD39dFqDngJyz+oZB/ogup1LaLPfU3JBcdfDsycyucpYadv3sqaKcp/T0IOq65ax/2ZYGMJz2/FNS5DLWcyzh/Nr7lc=
x-incomingheadercount:	46
x-eopattributedmessage:	0
x-ms-office365-filtering-correlation-id:	479b9db3-76b7-48b8-b993-08d4fecde058
x-microsoft-antispam:	UriScan:;BCL:0;PCL:0;RULEID:(300000500095)(300135000095)(300000501095)(300135300095)(22001)(300000502095)(300135100095)(300000503095)(300135400095)(201702061074)(5061506573)(5061507331)(1603103135)(2017031320274)(2017031324274)(2017031323274)(2017031322404)(1603101448)(1601125374)(1701031045)(300000504095)(300135200095)(300000505095)(300135600095)(300000506095)(300135500095);SRVR:AM5EUR02HT162;
x-ms-traffictypediagnostic:	AM5EUR02HT162:
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:AM5EUR02HT162;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:AM5EUR02HT162;
x-forefront-prvs:	04347F8039
x-forefront-antispam-report:	SFV:NSPM;SFS:(7070007)(98901004);DIR:OUT;SFP:1901;SCL:1;SRVR:AM5EUR02HT162;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 14:50:46.6369 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader:	Internet
X-MS-Exchange-CrossTenant-id:	84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped:	AM5EUR02HT162
X-MIME-Autoconverted:	from quoted-printable to 8bit by delorie.com id v8IJlADD014149

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 -