diff options
| author | tonio <tonio@pkgsrc.org> | 2013-11-02 17:57:17 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2013-11-02 17:57:17 +0000 |
| commit | 280ab4ff3caa4693b8b8cd3af45e0a0ed04472f6 (patch) | |
| tree | ecb0f186879c2d6733613b35c550d51df17050b9 /lang/coq | |
| parent | 632d1c2f5021425ec853ac8d645555be0e144985 (diff) | |
| download | pkgsrc-280ab4ff3caa4693b8b8cd3af45e0a0ed04472f6.tar.gz | |
natdynlink is supported on darwin
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 12027e75178..b81b5412097 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.69 2013/10/30 00:21:49 minskim Exp $ +# $NetBSD: Makefile,v 1.70 2013/11/02 17:57:17 tonio Exp $ # DISTNAME= coq-8.4pl2 @@ -38,6 +38,7 @@ PLIST_SUBST+= COQIDE_TYPE="byte" . if !empty(MACHINE_PLATFORM:MLinux-*-*) || \ !empty(MACHINE_PLATFORM:MDragonFly-*-*) || \ !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \ + !empty(MACHINE_PLATFORM:MDarwin-*-*) || \ !empty(MACHINE_PLATFORM:MNetBSD-*-*) PLIST.natdynlink= yes . endif |