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 | |
parent | 6a5e930ccbbcc4b3211e57b6db2acbcd6d014482 (diff) | |
download | pkgsrc-a7910c2c29c12523d15a992392d1b044e75db790.tar.gz |
natdynlink is supported on darwin
-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 |