summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjperkin <jperkin@pkgsrc.org>2015-09-07 12:02:05 +0000
committerjperkin <jperkin@pkgsrc.org>2015-09-07 12:02:05 +0000
commita2f949adf927715e989d2c88c259db4b3721ad70 (patch)
treeb5a9abb0790d5444ad5e55a6a860def6e5222560 /lang/coq
parentb4442114c2e33c10fc3645b16f3e1257bd2f45b7 (diff)
downloadpkgsrc-a2f949adf927715e989d2c88c259db4b3721ad70.tar.gz
Now that _STRIPFLAG_INSTALL is disabled by default on Darwin, remove manual
settings of INSTALL_UNSTRIPPED=yes for Darwin in individual packages.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile10
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}