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=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT 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>
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
Content-Type: text/plain; charset="iso-8859-1"
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
Content-Transfer-Encoding: 8bit
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