${STRIP_CMD} does not honor ${WITH_DEBUG}

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Alastair Hogge <agh_at_riseup.net>
Date: Thu, 09 Jul 2026 10:35:47 UTC

So it turns out that ${STRIP_CMD} does not evaluate to ${TRUE}[1] for
any of the Ada Ports that use GPR Tools.

The following is from the i386 builds.
WITH_DEBUG and OPTIONS DEBUG (no ${STRIP_CMD}):
18960928 gprbuild
15911168 gprclean
14247552 gprconfig
16001728 gprinstall
14566504 gprls
15892776 gprname

OPTIONS PRODUCTION (no ${STRIP_CMD}):
16363808 gprbuild
14158488 gprclean
12572032 gprconfig
13966552 gprinstall
12767616 gprls
13887256 gprname

OPTIONS PRODUCTION (with ${STRIP_CMD}):
7753248 gprbuild
6551136 gprclean
5743744 gprconfig
6415880 gprinstall
5844192 gprls
6418240 gprname

WITH_DEBUG and OPTIONS DEBUG (with ${STRIP_CMD}):
9125168 gprbuild
7265392 gprclean
6424664 gprconfig
7398656 gprinstall
6596792 gprls
7420920 gprname

/usr/local/bin/strip:
9125168 gprbuild
7265392 gprclean
6424664 gprconfig
7398656 gprinstall
6596792 gprls
7420920 gprname

From a build log WITH_DEBUG and OPTIONS DEBUG:
/usr/bin/find /wrkdirs/usr/ports/devel/gprbuild/work/stage/usr/local/bin
-name gpr* -exec /usr/local/bin/strip {}  \;
/usr/bin/find
/wrkdirs/usr/ports/devel/gprbuild/work/stage/usr/local/lib* -name *.a
-exec /usr/local/bin/strip {}  \;
/usr/bin/find
/wrkdirs/usr/ports/devel/gprbuild/work/stage/usr/local/lib* -name *.so*
-exec /usr/local/bin/strip  {} \;

1: https://cgit.freebsd.org./ports/tree/Mk/Features/debug.mk#n17