diff options
| author | tonio <tonio@pkgsrc.org> | 2012-09-23 08:36:43 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2012-09-23 08:36:43 +0000 |
| commit | 0999b1f227e475dc9b567803a4b2ab768e7fc76b (patch) | |
| tree | 6116348db2fa25dafb5f32ab949380087546c294 /lang/coq | |
| parent | 7d9c43e866edaf8ef093ed44c0ef4687c2bb79b8 (diff) | |
| download | pkgsrc-0999b1f227e475dc9b567803a4b2ab768e7fc76b.tar.gz | |
natdynlink conditional should match the one of ocaml
fixes make package on darwin x86_64
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 6ac481a077f..190277dc65c 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.45 2012/09/15 10:05:18 obache Exp $ +# $NetBSD: Makefile,v 1.46 2012/09/23 08:36:43 tonio Exp $ # DISTNAME= coq-8.3pl1 @@ -30,7 +30,6 @@ 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-*-*) |