diff options
| author | dholland <dholland> | 2011-12-13 07:15:05 +0000 |
|---|---|---|
| committer | dholland <dholland> | 2011-12-13 07:15:05 +0000 |
| commit | e1c2a2283757aa0dd85f250dfa82522993b842f2 (patch) | |
| tree | 1f8329fd64a6d725afa7a8767a75dd76a14f9e20 /lang/coq | |
| parent | 5944944e3195a4323e78128351c7e65c7e949a81 (diff) | |
| download | pkgsrc-e1c2a2283757aa0dd85f250dfa82522993b842f2.tar.gz | |
Catch up to ocaml changes to enable natdynlink on NetBSD.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 5 |
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 |