Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 8 Jun 2015 01:20:46 +0000 (UTC)
From:      Dmitry Marakasov <amdmi3@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r388813 - head/devel/frama-c
Message-ID:  <201506080120.t581KkAW036261@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
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." \



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201506080120.t581KkAW036261>