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=
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: Problem Compiling A Linux Source Bundle
Date: Mon, 18 Sep 2017 15:04:20 +0000
Message-ID: <AM5P189MB0305CC9D448CFD8CE241532F81630@AM5P189MB0305.EURP189.PROD.OUTLOOK.COM>
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
Content-Type: text/plain; charset="iso-8859-1"
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
Content-Transfer-Encoding: 8bit
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