From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id KBCxJY7pdWejagEAqHPOHw:P1 (envelope-from ) for ; Thu, 02 Jan 2025 01:19:10 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id KBCxJY7pdWejagEAqHPOHw (envelope-from ) for ; Thu, 02 Jan 2025 02:19:10 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("body hash did not verify") header.d=posteo.de header.s=2017 header.b=jYIWbJsK; 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"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.de (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1735780750; 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=FR9Mwk45Akfh3rTBrLJ/SN6LjK5DNVpkdAUMY37KX/c=; b=q2i+5Q0FW42IrEnr5QMSyIWxJkn+RBd44hDisyZXc++K14IgwchPHL/koK3IybCapwiHmK SUiAsO+WuAfeh871uaOsKsXb58Ee/QevLg1aZYf73j0RcPSuUO70aZzJ9tKMUsOX3YuEco 4T706etrcmg6F3iMOm9LoChgoDLHEBGxULjaEZAmHL2UjLivm4PnksxH/Q/mGHnPYz305T DgsNKO8iryABjhJB/eNsyFUF6cSigwZVUQ0srLfagpQHyXbis/9wCDsWLqzdKXEeyVW6w5 5sErin5w9sOmYWAD2IKosrhUGF6q+u2vpMprTdd1HB4G9yyspUxPV+PZVhBWfw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("body hash did not verify") header.d=posteo.de header.s=2017 header.b=jYIWbJsK; 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"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.de (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1735780750; a=rsa-sha256; cv=none; b=h7kZn/x0uH/QzE09ZXArl4L6JyEFz6huD1ujxX43KILg8WR6uoQjpE/jqW6qdJAB7/qZSV ZGoHZbf6ICOPHTpH3lGuIw9R66wiACrQGc5AavoUEdhLy878LooIrEx4le/weYG8m6uQCw utdrJTKcxJp5pBCvv5VWNJD8H7MEw2ycHn5AygkKZGGgogLk24LsrO/zcJ4y6HNkJtaHp4 tB5nqf3VMbaL0eJ+Y6kOXx5kwgfO4HTtislzYB7c2sbTA6h07Y4OGcyYb6w3aNRWUhUghm YgoVbJcp9zsNCOHR2UqsawzX48ulzxUJWbMdIY7Yq/JOv0CRA7BNqekyLt4khw== 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 E81E187AB5 for ; Thu, 02 Jan 2025 02:19:09 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tT9rA-0003FH-T8; Wed, 01 Jan 2025 20:18:36 -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 1tT9r9-0003EI-1N for help-guix@gnu.org; Wed, 01 Jan 2025 20:18:35 -0500 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tT9r6-0007qF-AH for help-guix@gnu.org; Wed, 01 Jan 2025 20:18:34 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id B3E15240027 for ; Thu, 2 Jan 2025 02:18:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1735780706; bh=jpeqsMRo/7s6ZnD+xf4GCUCofgAkobqyUMMRdxTzVKg=; h=Content-Type:Message-ID:Date:MIME-Version:Subject:To:From:Cc: From; b=jYIWbJsKeSTIkXJrGfu+wSB/oV1R5w4oGJoMGuV0GODQwcgtwtBkycUutRahNbb5N KDtzQ88zYnR7k7gKMlD1yOM0Rdk2JFtuyrWk+P18hg0mnN3y6LlbK8nXaqP5RI2O0g BeKAO/tX2PNnd6vOEwmDwDVXpplmIG5LNGEypdU8XATee9Zvyjz4p1UOC0uOmp49L9 vaC0tdSBOSnjW+nVNWypXsvag0PA4uu1cA7hCTEHTdvmPVQcL05F3sgHWVPJibwf8Q mawOSL9RG1V5fM3QHtEmLnBPILWwuJr/IRK2Ifb1LlaZX99UruEn++jF2FCx9G6Xp+ W92TsH2JNemWQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4YNpk95GtYz9rxD; Thu, 2 Jan 2025 02:18:25 +0100 (CET) Message-ID: Date: Thu, 2 Jan 2025 01:18:25 +0000 MIME-Version: 1.0 Subject: Re: OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries (addendum 3 - comparison with guile) To: Julien Lepiller References: <62213a9d-3bab-4f0f-bd7b-9a98b880ae0d@posteo.de> From: Zelphir Kaltstahl Content-Language: en-US Cc: help-guix In-Reply-To: Received-SPF: pass client-ip=185.67.36.65; envelope-from=zelphirkaltstahl@posteo.de; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Content-Filtered-By: Mailman/MimeDel 2.1.29 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: 2.80 X-Spam-Score: 2.80 X-Migadu-Queue-Id: E81E187AB5 X-Migadu-Scanner: mx10.migadu.com X-TUID: tfFjvH+ZkxMT On 31.12.24 15:57, Julien Lepiller wrote: > I tried and after adding ocaml-findlib in the shell, I was able to build with: > > ocamlfind ocamlc -package zarith -linkpkg -o main main.ml > > I don't use ocaml often but it looks like how you need to specify the libraries to gcc with -I and -l. > > I don't know how it would work with ocamlc alone. Does it work like that on other distros? Hi Julien! Thank you for figuring this out! It works for me as well. May I ask, how you found out about this? Best regards, Zelphir -- repositories:https://notabug.org/ZelphirKaltstahl,https://codeberg.org/ZelphirKaltstahl