Received: from mail.netbsd.org (mail.netbsd.org [204.152.190.11]) by www.NetBSD.org (Postfix) with ESMTP id 7DC0863DB0E for ; Tue, 13 Dec 2011 07:15:05 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 22BD314A1F6; Tue, 13 Dec 2011 07:15:07 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id D682C14A1EA for ; Tue, 13 Dec 2011 07:15:05 +0000 (UTC) X-Virus-Scanned: amavisd-new at NetBSD.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.NetBSD.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 6P0J0XZBpm_k for ; Tue, 13 Dec 2011 07:15:05 +0000 (UTC) Received: from cvs.netbsd.org (cvs.NetBSD.org [IPv6:2001:4f8:3:7:2e0:81ff:fe30:95bd]) by mail.netbsd.org (Postfix) with ESMTP id 67B5B14A1D3 for ; Tue, 13 Dec 2011 07:15:05 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id 9B418175DD; Tue, 13 Dec 2011 07:15:05 +0000 (UTC) MIME-Version: 1.0 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Date: Tue, 13 Dec 2011 07:15:05 +0000 From: "David A. Holland" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: dholland@netbsd.org X-Mailer: log_accum Message-Id: <20111213071505.9B418175DD@cvs.netbsd.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk Module Name: pkgsrc Committed By: dholland Date: Tue Dec 13 07:15:05 UTC 2011 Modified Files: pkgsrc/lang/coq: Makefile Log Message: Catch up to ocaml changes to enable natdynlink on NetBSD. To generate a diff of this commit: cvs rdiff -u -r1.33 -r1.34 pkgsrc/lang/coq/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.