summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authordholland <dholland@pkgsrc.org>2011-12-13 07:15:05 +0000
committerdholland <dholland@pkgsrc.org>2011-12-13 07:15:05 +0000
commit59728045db721267821a09858a36fc69a71b09a4 (patch)
tree1f8329fd64a6d725afa7a8767a75dd76a14f9e20 /lang/coq
parentbea96ed54c163e0bbab510d5e35e78a82adca404 (diff)
downloadpkgsrc-59728045db721267821a09858a36fc69a71b09a4.tar.gz
Catch up to ocaml changes to enable natdynlink on NetBSD.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index 91fc77d7a37..1689241541c 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.33 2011/12/06 00:19:23 sbd Exp $
+# $NetBSD: Makefile,v 1.34 2011/12/13 07:15:05 dholland Exp $
#
DISTNAME= coq-8.3pl1
@@ -31,7 +31,8 @@ PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST
.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64")
. if !empty(MACHINE_PLATFORM:MLinux-*-*) || \
!empty(MACHINE_PLATFORM:MDarwin-*-*) || \
- !empty(MACHINE_PLATFORM:MFreeBSD-*-*)
+ !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \
+ !empty(MACHINE_PLATFORM:MNetBSD-*-*)
PLIST_SRC+= ${PKGDIR}/PLIST.natdynlink
. endif
.endif