From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id UG8wJJynv2PoEwAAbAwnHQ (envelope-from ) for ; Thu, 12 Jan 2023 07:24:28 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id KF1II5ynv2OkbQAAG6o9tA (envelope-from ) for ; Thu, 12 Jan 2023 07:24:28 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3C56414424 for ; Thu, 12 Jan 2023 07:24:28 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pFr0C-0001IE-Fo; Thu, 12 Jan 2023 01:23:52 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pFr07-0001Hw-MZ for guix-devel@gnu.org; Thu, 12 Jan 2023 01:23:47 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pFr05-0007d4-F6 for guix-devel@gnu.org; Thu, 12 Jan 2023 01:23:47 -0500 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (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 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4NsvdC2thYz9tGn; Thu, 12 Jan 2023 06:23:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1673504623; bh=QGLKJIVbOkJToS4/Id2veW8qVRTgqoF9xMB3IpHp0g4=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=bEw6bdELMf5+faEnIU+JBnRId9u8X4oP7Ay2yz9tCAbGjYRQpytKcpY6/Us17fiqM mHglgLUFfuQA+oDyBap1zLqdVAPBx5qVJN2B+X3Dw3e4y4VObITverMrLY1pr6/xyw +ql4U4Tmwki/6hm2P0eAVEBwZWUhGTs/enit/oE8= X-Riseup-User-ID: 57B40D52BB3FD633BAD095C67185CBF6D49D7D448C609A36076B73B7DBAB969F Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4NsvdB4xzkz1yQc; Thu, 12 Jan 2023 06:23:42 +0000 (UTC) References: <86pmbk3hci.fsf@gmail.com> From: Csepp To: Simon Tournier Cc: Lars-Dominik Braun , guix-devel@gnu.org Subject: Re: properties for default version? (was bug#60200: Incompatibilities between gcc-toolchain and R packages) Date: Thu, 12 Jan 2023 07:22:27 +0100 In-reply-to: <86pmbk3hci.fsf@gmail.com> Message-ID: <86v8lcfez8.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=bEw6bdEL; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=riseup.net ARC-Seal: i=1; s=key1; d=yhetil.org; t=1673504668; a=rsa-sha256; cv=none; b=S980QBBw/U2gQgPAlpjW4vhh1FKuLsbMjy23t6f/PW2z2Z0us+rIP5DG20o+aijVrT+uUy T2cwAb5HgAtY2iHpD8BZJoExxuZuYHsQAbMLLafylAyIcYMvVS7uyP+K7xmVSqWmtyWA0a z9JglaPOaGCEUCRp+7lhv3vTTzVTR2uFT0Zd/btJqtxU46n7UJa6e+T8a95rNjw1mFMhO6 A8MXyViYjiRvr1gKCh0QvK7n0tkgziyRsjh7iy7XqN/QSWSFMh0O6e2B2TVBRxB/c3tU8z VbHXuhe4DBW7wMl2qrP3VGUWMezn7P8WPjE6TvCT/u5AOG8cfO89ggYx7qnxRQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1673504668; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=rFmqPr6KISzSSojbEZyDCwz4xVDYNrLhRqxmEQhslgE=; b=fL2EzWsfnrlq7eBDEqkA6WYIcdv44jiHAgQxLTLA4F8GRDSZhGbMq+/eEBPN4hLIEF3Wjy HZxyg7jNdb3zrXc7nTuZA/pn+fdqpJPvD5yLMuisAihnuM+x6mhk21eYKS7Koo2oeaOhjy zSjaJcG1puwWdp55y3oKPIguXHZEIIJVRZWjTaOHqOo6tAm42w9KqMofzZBxi+JpcmpX6j X2a0VJfaxpKeVm3U5OUF5SdWh7ylL5pHQ78MRVE8ggWl/lzcrwvklEbhgOz42CY56FyRCk S1cYmTAjgAehP7h1SOTuin6t3swnAd4wLRMAxup/dxGBXy6dwetfd/SOaMMJSQ== X-Migadu-Queue-Id: 3C56414424 X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=bEw6bdEL; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=riseup.net X-Migadu-Spam-Score: -11.41 X-Spam-Score: -11.41 X-TUID: MICltw1XZ6bl Simon Tournier writes: > Hi, > > As bug#60200 [1], the issue is one that many of us often hit: packages > with several versions and when the highest one is not the default. > > Other said, build systems use some version for compiler and tools but > Guix can also offer more recent versions for these very same compilers > and tools. It leads to the issue when selecting the name of a compiler > or tool (command line or manifest). The user does not get the ones used > as default by build system. > > In addition to [1], another example: > > $ guix shell ocaml ocaml-ppxlib -- ocaml --version > The OCaml toplevel, version 5.0.0 > > > But the OCaml libraries are built using OCaml compiler v4.14, thus it > leads to error as: > > Error: /gnu/store/vglxlc8riynj1g937clvwv8yg40lln6z-profile/lib/ocaml/site= -lib/ppxlib/ppxlib.cmi > is not a compiled interface for this version of OCaml. > It seems to be for an older version of OCaml. > > For other cases, such issue is avoided by appending the suffix -next to > package name; as with ghc-next, python-numpy-next, emacs-next, etc. > > Personally, I find the -next trick useful because the package name > reflects that it is not the default. However, it can be annoying to > update manifest files when this -next is becoming default. > > Well, what do people think about this Lars=E2=80=99s patch? As I *just* ran into some OCaml and GCC related issues a few days ago, I'm in favor of either the default flag or expanding the -next suffix naming convention to more packages.