diff options
author | marino <marino@pkgsrc.org> | 2011-12-13 19:59:45 +0000 |
---|---|---|
committer | marino <marino@pkgsrc.org> | 2011-12-13 19:59:45 +0000 |
commit | b37057b05b27d094f929649be79186a6f1a54be9 (patch) | |
tree | b8918a1530cee61277db0063342e2ab79bcb80a2 /lang/coq | |
parent | cedf7931034f24f6e22b6feb1b78339ce8405687 (diff) | |
download | pkgsrc-b37057b05b27d094f929649be79186a6f1a54be9.tar.gz |
lang/coq: Don't forget us
DragonFly needs natdynlink enabled on all ocaml packages.
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 1689241541c..3ccb1f0ea37 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.34 2011/12/13 07:15:05 dholland Exp $ +# $NetBSD: Makefile,v 1.35 2011/12/13 19:59:45 marino Exp $ # DISTNAME= coq-8.3pl1 @@ -31,6 +31,7 @@ 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:MDragonFly-*-*) || \ !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \ !empty(MACHINE_PLATFORM:MNetBSD-*-*) PLIST_SRC+= ${PKGDIR}/PLIST.natdynlink |