NetBSD Problem Report #59514

From dholland@netbsd.org  Mon Jul  7 03:29:49 2025
Return-Path: <dholland@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits)
	 client-signature RSA-PSS (2048 bits))
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id F31431A923C
	for <gnats-bugs@gnats.NetBSD.org>; Mon,  7 Jul 2025 03:29:48 +0000 (UTC)
Message-Id: <20250707032948.724D485A53@mail.netbsd.org>
Date: Mon,  7 Jul 2025 03:29:48 +0000 (UTC)
From: dholland@NetBSD.org
Reply-To: dholland@NetBSD.org
To: gnats-bugs@NetBSD.org
Subject: ocaml package failures installing scripts
X-Send-Pr-Version: 3.95

>Number:         59514
>Category:       pkg
>Synopsis:       ocaml package failures installing scripts
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    pkg-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jul 07 03:30:00 +0000 2025
>Originator:     David A. Holland
>Release:        pkgsrc 20250706
>Organization:
>Environment:
System: immaterial
Architecture:
Machine:
>Description:

The ocaml infrastructure, if you set OCAML_USE_DUNE or OCAML_USE_OPAM,
installs all executables with ${INSTALL_PROGRAM}, which, unless one
also sets INSTALL_UNSTRIPPED, tries to strip the programs it installs.
This in turn fails on scripts because that's what strip does.

Some packages force INSTALL_UNSTRIPPED as a workaround, which is
abusive, and also still fails if INSTALL_UNSTRIPPED is explicitly
turned off.

The underlying problem is that Dune doesn't distinguish scripts from
programs in the build metadata that gets handed off to the installer.

>How-To-Repeat:

cd lang/coq
remove reference to INSTALL_UNSTRIPPED from Makefile
make stage-install

>Fix:

A better workaround would be to install all executables with
INSTALL_SCRIPT, which unconditionally leaves off the strip call.
However, that's also abusive.

Probably we need to patch the installer (opaline) to examine the
programs it installs to see if they begin with #! and do something
different if so.

Home	PR Database Search