Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.netbsd.org", Issuer "Postmaster NetBSD.org" (verified OK)) by mollari.NetBSD.org (Postfix) with ESMTPS id CF1AD7A1AF for ; Thu, 12 Jan 2017 09:11:28 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 7ED86857CB; Thu, 12 Jan 2017 09:11:28 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 0E2C085633 for ; Thu, 12 Jan 2017 09:11:28 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id cXzel0R3AWbp for ; Thu, 12 Jan 2017 09:11:27 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 9A78185570 for ; Thu, 12 Jan 2017 09:11:27 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 91B74FBA6; Thu, 12 Jan 2017 09:11:27 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1484212287159170" MIME-Version: 1.0 Date: Thu, 12 Jan 2017 09:11:27 +0000 From: "Jaap Boender" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: jaapb@netbsd.org X-Mailer: log_accum Message-Id: <20170112091127.91B74FBA6@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk This is a multi-part message in MIME format. --_----------=_1484212287159170 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: jaapb Date: Thu Jan 12 09:11:27 UTC 2017 Modified Files: pkgsrc/lang/coq: Makefile Log Message: Added dependency on camlp4 To generate a diff of this commit: cvs rdiff -u -r1.93 -r1.94 pkgsrc/lang/coq/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1484212287159170 Content-Disposition: inline Content-Length: 674 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/lang/coq/Makefile diff -u pkgsrc/lang/coq/Makefile:1.93 pkgsrc/lang/coq/Makefile:1.94 --- pkgsrc/lang/coq/Makefile:1.93 Fri Dec 30 13:23:06 2016 +++ pkgsrc/lang/coq/Makefile Thu Jan 12 09:11:27 2017 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.93 2016/12/30 13:23:06 jaapb Exp $ +# $NetBSD: Makefile,v 1.94 2017/01/12 09:11:27 jaapb Exp $ # DISTNAME= coq-8.6 @@ -57,5 +57,6 @@ SUBST_MESSAGE.fix-paths= Remove buildlin SUBST_FILES.fix-paths= config/coq_config.ml SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g" +.include "../../lang/camlp4/buildlink3.mk" .include "../../mk/pthread.buildlink3.mk" .include "../../mk/bsd.pkg.mk" --_----------=_1484212287159170--