From nobody Thu Jul 09 10:35:47 2026 X-Original-To: freebsd-ada@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4gwrwK0GHBz6l0LM for ; Thu, 09 Jul 2026 10:36:01 +0000 (UTC) (envelope-from agh@riseup.net) Received: from mx1.riseup.net (mx1.riseup.net [198.252.153.129]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mx1.riseup.net", Issuer "YR2" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4gwrwJ0kxvz3p3S for ; Thu, 09 Jul 2026 10:36:00 +0000 (UTC) (envelope-from agh@riseup.net) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=riseup.net header.s=squak header.b=nNxQScd3; spf=pass (mx1.freebsd.org: domain of agh@riseup.net designates 198.252.153.129 as permitted sender) smtp.mailfrom=agh@riseup.net; dmarc=pass (policy=none) header.from=riseup.net Received: from fews01-sea.riseup.net (fews01-sea-pn.riseup.net [10.0.1.109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx1.riseup.net (Postfix) with ESMTPS id 4gwrwG3KtszDr6d for ; Thu, 9 Jul 2026 10:35:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=riseup.net; s=squak; t=1783593358; bh=OlPRRQhvvQm9vU6jJ1xeUoB/pSVEfKSrru8zs9dGhZQ=; h=Date:From:To:Subject:From; b=nNxQScd3iB0iQDsYKZG89aewk2+3Febfzxb7UJ1GGrjnubVZivU8bDBjALkpGtBcK s1ckY54Ojb5FOVs4kiGL7VlVxoWJ+XZ8t07LuJDTWPuPCyrKILLedMhKQYoo60PmfS hQci29oBcquneKxnG1aAizpGJ8p35P1vhw61cvZg= X-Riseup-User-ID: 9478900E17595EA11F52D41932667230A86A82994528441FA2FE70A3F08EBB6B Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews01-sea.riseup.net (Postfix) with ESMTPSA id 4gwrw31jlqz1yZH for ; Thu, 9 Jul 2026 10:35:47 +0000 (UTC) List-Id: Ada development on FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ada List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ada@freebsd.org X-BeenThere: freebsd-ada@freebsd.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Date: Thu, 09 Jul 2026 10:35:47 +0000 From: Alastair Hogge To: freebsd-ada@freebsd.org Subject: ${STRIP_CMD} does not honor ${WITH_DEBUG} Message-ID: Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spamd-Result: default: False [-3.16 / 15.00]; SUBJECT_HAS_CURRENCY(1.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_SHORT(-0.96)[-0.955]; DMARC_POLICY_ALLOW(-0.50)[riseup.net,none]; R_DKIM_ALLOW(-0.20)[riseup.net:s=squak]; R_SPF_ALLOW(-0.20)[+a:mx1.riseup.net]; RCVD_IN_DNSWL_LOW(-0.10)[198.252.153.129:from]; RWL_MAILSPIKE_GOOD(-0.10)[198.252.153.129:from]; MIME_GOOD(-0.10)[text/plain]; RCVD_TLS_ALL(0.00)[]; DKIM_TRACE(0.00)[riseup.net:+]; ARC_NA(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; TO_MATCH_ENVRCPT_ALL(0.00)[]; RECEIVED_HELO_LOCALHOST(0.00)[]; FROM_HAS_DN(0.00)[]; MISSING_XM_UA(0.00)[]; TO_DN_NONE(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; PREVIOUSLY_DELIVERED(0.00)[freebsd-ada@freebsd.org]; RCVD_VIA_SMTP_AUTH(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; ASN(0.00)[asn:16652, ipnet:198.252.153.0/24, country:US]; DWL_DNSWL_NONE(0.00)[riseup.net:dkim] X-Rspamd-Queue-Id: 4gwrwJ0kxvz3p3S X-Spamd-Bar: --- 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