From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 34214 invoked by alias); 18 Sep 2017 19:46:04 -0000 Mailing-List: contact cygwin-help@cygwin.com; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner@cygwin.com Mail-Followup-To: cygwin@cygwin.com Received: (qmail 33877 invoked by uid 89); 18 Sep 2017 19:46:04 -0000 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 Received: from mail-oln040092068053.outbound.protection.outlook.com (HELO EUR02-HE1-obe.outbound.protection.outlook.com) (40.92.68.53) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 18 Sep 2017 19:46:02 +0000 Received: from AM5EUR02FT049.eop-EUR02.prod.protection.outlook.com (10.152.8.57) by AM5EUR02HT044.eop-EUR02.prod.protection.outlook.com (10.152.9.15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.20.35.14; Mon, 18 Sep 2017 19:45:57 +0000 Received: from AM5P189MB0305.EURP189.PROD.OUTLOOK.COM (10.152.8.58) by AM5EUR02FT049.mail.protection.outlook.com (10.152.9.233) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.20.35.14 via Frontend Transport; Mon, 18 Sep 2017 19:45:57 +0000 Received: from AM5P189MB0305.EURP189.PROD.OUTLOOK.COM ([fe80::94a9:268f:aaef:4dc3]) by AM5P189MB0305.EURP189.PROD.OUTLOOK.COM ([fe80::94a9:268f:aaef:4dc3%13]) with mapi id 15.20.0056.016; Mon, 18 Sep 2017 19:45:57 +0000 From: Tawny Owl To: "cygwin@cygwin.com" Subject: Problem Compiling A Linux Source Bundle Date: Mon, 18 Sep 2017 19:46:00 -0000 Message-ID: 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 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 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-SW-Source: 2017-09/txt/msg00183.txt.bz2 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 instru= ctions: 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 so= lver! Unfortunately, many of the other SAT solvers are based on MiniSat - a= nd these all have the same instructions, which I cannot follow: export MROOT=3D (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 trie= d adding C:\Temp\MapleCOMSPS\mtl to the Windows path - but this didn't chan= ge anything. Apologies if this question has more to do with my lack of knowledge of comp= iling 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 apprecia= te 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