From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 0Kc4DgdyDGWgnQAAG6o9tA:P1 (envelope-from ) for ; Thu, 21 Sep 2023 18:40:39 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 0Kc4DgdyDGWgnQAAG6o9tA (envelope-from ) for ; Thu, 21 Sep 2023 18:40:39 +0200 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 08CE06FBEB for ; Thu, 21 Sep 2023 18:40:38 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=VB1w56RQ; dmarc=pass (policy=none) header.from=lepiller.eu; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1695314439; 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=5K737XDowvim60bXiMOXYgpStv6sf/wJPFgktgjIgh0=; b=u7gSHU1kqvB4edzna2lnjkHU/gyBr4EoEvRh/P3VUnMm1RQN3vYuE5rAZDoCASLISBtodb BjytxSiR0LVy1Bbq8FdYwUsziCO4ij89W1G+EIgC07VTnTajCB0S5GLbkIhdbOhmbEITNG vF0mgkdfenRYNOUHW6RVeqjWMAb7RBqBcntsfnN2bamWM85BIReko7Fg8dif5ChYkNRIJx UqX9iw1/75BgGGPVa6Up6mqnzmvFxkHtje5LPbswzqPz4brqn1c8gylbKoI+uKvX1PbLDu jvOipG5tDM4FmTHX5KRURAldelX6RkHNJvlsuZcBWfAsSH7OqTO+byZsdqV1XA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1695314439; a=rsa-sha256; cv=none; b=bDO7NRQU3MpQl32xrwvRwT1neThTWzlfXZmC65QBwQjQxyvTob4cV7cHPdta2BeYfuy+c8 i+Hb4tgn3+707i6j4UUFQQ5lklL9Bzhpm7oSsiuXJR1p/Lk7Hbo8PjSyBxOUunZsOertkK w9kQZmhh0rBDovZwwpszx9YWn1f/iozs7O87HJFprp5EWuMdSqwFS+bg99QGRYWW4vP/TL kYBdvnqHHPppgpkGfPqvzU7a73f8yTwiqrxQzJZqBijI3jEQCG8aimdAdzIGo/H/pucYIN KlL9Z6l/jgA4TE7S3dRiCzk+4g1zclaZ8HzdTaYo/ByyutOb7f+TGdspa/AJ4Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=VB1w56RQ; dmarc=pass (policy=none) header.from=lepiller.eu; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qjMig-0007Jr-Sn; Thu, 21 Sep 2023 12:40:02 -0400 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 1qjMif-0007In-FC for help-guix@gnu.org; Thu, 21 Sep 2023 12:40:01 -0400 Received: from lepiller.eu ([89.234.186.109] helo=localhost) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qjMic-00051O-To for help-guix@gnu.org; Thu, 21 Sep 2023 12:40:01 -0400 Received: from localhost (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id b2c9ae20; Thu, 21 Sep 2023 16:39:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=6tWjQn/2eYVC 6idiFVPViURYSFYHGtbgG0G+QhHpxgk=; b=VB1w56RQhEJSwJZPMbs9terLZf7f dAJ+wz/krFIzEWoyuLu1a+ByCyBMEknvPdD5AKYO4cqx5Nzf5g8Ai/6HYlr6oj0F uSZzxshhQicnHtUif9SnloK4V1Sru08TnILNcOXclCTBSjccfX8waa8CthwClkvG 1ZRmy5AXpCqLyyxiK2pp9ffup1VEtnhaLhaXpQ/CHJm/CWvjK46QkAUht2BN9aB2 r1ox3JheOU2EmQID9WJ4iqOfgqSnvJtCLVq+L0f0tDQTzb8p+KxKXlHDoAf5pv0b XqtmXQEMQ83/0sfpZ8FJ0nw57YuDrVXcH635tdfgQOeRpI/lr/fxIB/IVg== Received: by localhost (OpenSMTPD) with ESMTPSA id 15b41808 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 21 Sep 2023 16:39:52 +0000 (UTC) Date: Thu, 21 Sep 2023 18:39:51 +0200 From: Julien Lepiller To: Garek Dyszel Cc: help-guix@gnu.org Subject: Re: Ocamlfind doesn't find arbitrary library Message-ID: <20230921183951.70158a92@lepiller.eu> In-Reply-To: <87jzsjh8cp.fsf@disroot.org> References: <87jzsjh8cp.fsf@disroot.org> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=localhost X-Spam_score_int: 17 X-Spam_score: 1.7 X-Spam_bar: + X-Spam_report: (1.7 / 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, FSL_HELO_NON_FQDN_1=0.001, HELO_LOCALHOST=3.828, PDS_OTHER_BAD_TLD=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -9.76 X-Spam-Score: -9.76 X-Migadu-Queue-Id: 08CE06FBEB X-Migadu-Scanner: mx0.migadu.com X-TUID: PPiNcypOe6V2 Le Thu, 21 Sep 2023 11:08:38 -0400, Garek Dyszel a =C3=A9crit : > Hi Guix, >=20 > While trying to get Coq to find a certain package that is part of its > dependency chain, I stumbled upon the following seemingly-general > problem. It seems that Ocaml packages are not in general detected by > findlib. >=20 > Probably I'm missing something really simple because I'm not too > familiar with Ocaml, but it looks to me to be maybe a Guix-specific > problem. >=20 > Thanks for any and all help! > Garek >=20 > --- > Command from which this originates: > --8<---------------cut here---------------start------------->8--- > $ guix shell ocaml-findlib ocaml-sha -- ocamlfind list You have to add ocaml@4, otherwise Guix will not create the necessary environment variables in the shell.=C2=A0With it, sha is listed. > bigarray (version: [distributed with Ocaml]) > bytes (version: [distributed with OCaml 4.02 or above]) > compiler-libs (version: [distributed with Ocaml]) > compiler-libs.bytecomp (version: [distributed with Ocaml]) > compiler-libs.common (version: [distributed with Ocaml]) > compiler-libs.native-toplevel (version: [distributed with Ocaml]) > compiler-libs.optcomp (version: [distributed with Ocaml]) > compiler-libs.toplevel (version: [distributed with Ocaml]) > dynlink (version: [distributed with Ocaml]) > findlib (version: 1.9.5) > findlib.dynload (version: 1.9.5) > findlib.internal (version: 1.9.5) > findlib.top (version: 1.9.5) > ocamldoc (version: [distributed with Ocaml]) > stdlib (version: [distributed with Ocaml]) > str (version: [distributed with Ocaml]) > threads (version: [distributed with Ocaml]) > threads.none (version: [internal]) > threads.posix (version: [internal]) > unix (version: [distributed with Ocaml]) > --8<---------------cut here---------------end--------------->8--- >=20 >=20