svn commit: r388813 - head/devel/frama-c

[Dmitry Marakasov]

Author: amdmi3
Date: Mon Jun  8 01:20:45 2015
New Revision: 388813
URL: https://svnweb.freebsd.org/changeset/ports/388813

Log:
  - Strip binaries

Modified:
  head/devel/frama-c/Makefile

Modified: head/devel/frama-c/Makefile
==============================================================================
--- head/devel/frama-c/Makefile	Mon Jun  8 01:20:30 2015	(r388812)
+++ head/devel/frama-c/Makefile	Mon Jun  8 01:20:45 2015	(r388813)
@@ -4,7 +4,7 @@
 PORTNAME=	frama-c
 DISTVERSIONPREFIX=	Sodium-
 DISTVERSION=	20150201
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://frama-c.com/download/
 
@@ -48,6 +48,13 @@ post-patch:
 		s|$$(CP)|${INSTALL_DATA}|; }' \
 			${WRKSRC}/Makefile
 
+post-install:
+	${CHMOD} u+w ${STAGEDIR}${PREFIX}/bin/*
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
+	${CHMOD} u-w ${STAGEDIR}${PREFIX}/bin/*
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/*.cmxs
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/gui/*.cmxs
+
 check regression-test test: build
 	@cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \
 	CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \