diff options
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 09ec9fb21c9..597b9095546 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.82 2015/08/07 11:20:34 jaapb Exp $ +# $NetBSD: Makefile,v 1.83 2015/09/07 12:02:05 jperkin Exp $ # DISTNAME= coq-8.4pl6 @@ -43,14 +43,6 @@ PLIST.natdynlink= yes . endif .endif -.if ${OPSYS} == "Darwin" -INSTALL_UNSTRIPPED= yes -# See PR# 28772 as the above should work but it appears to be ignored -# so we set it explicitly below not to stip installed binaries. -_STRIPFLAG_CC= -_STRIPFLAG_INSTALL= -.endif - REPLACE_SH= configure install.sh INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR} |