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 | a7910c2c29c12523d15a992392d1b044e75db790 (patch) | |
| tree | ecb0f186879c2d6733613b35c550d51df17050b9 /lang/coq | |
| parent | 6a5e930ccbbcc4b3211e57b6db2acbcd6d014482 (diff) | |
| download | pkgsrc-a7910c2c29c12523d15a992392d1b044e75db790.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 |