unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
From: Zelphir Kaltstahl <zelphirkaltstahl@posteo.de>
To: Julien Lepiller <julien@lepiller.eu>
Cc: help-guix <help-guix@gnu.org>
Subject: Re: OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries (addendum 3 - comparison with guile)
Date: Thu,  2 Jan 2025 13:35:49 +0000	[thread overview]
Message-ID: <79dad780-518f-4252-9bb4-ea7d6127d527@posteo.de> (raw)
In-Reply-To: <F5C81917-D564-47C3-83C0-76BC6E7C32D0@lepiller.eu>

Hello Julien!

Indeed, it is in the readme of zarith. I should have checked more thoroughly. I 
skipped that whole "Installation" section, because I thought: "I already 
installed it using Guix." ^^'

Anyway, now with library usage being possible and finally having a working 
factorial (haha), I can continue learning! Thanks you for your help!

Best wishes,
Zelphir

On 02.01.25 08:44, Julien Lepiller wrote:
> I've seen ocamlfind being used by the build process of some packages. Then just a quick search on the internet. The readme of zarith also mentions it. It also mentions using ocamlc directly, but that didn't work for me.
>
> Le 2 janvier 2025 02:18:25 GMT+01:00, Zelphir Kaltstahl <zelphirkaltstahl@posteo.de> a écrit :
>> 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



      reply	other threads:[~2025-01-02 13:36 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-12-30 17:50 OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries Zelphir Kaltstahl
2024-12-30 17:53 ` OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries (addendum 1) Zelphir Kaltstahl
2024-12-30 19:33   ` Julien Lepiller
2024-12-30 19:53     ` OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries Zelphir Kaltstahl
2024-12-31 14:02   ` OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries (addendum 2 - using guix profiles) Zelphir Kaltstahl
2024-12-31 14:06 ` OCaml package `ocaml-zarith` not working / Guix installed `ocamlc` not picking up installed libraries (addendum 3 - comparison with guile) Zelphir Kaltstahl
2024-12-31 14:57   ` Julien Lepiller
2025-01-02  1:18     ` Zelphir Kaltstahl
2025-01-02  7:44       ` Julien Lepiller
2025-01-02 13:35         ` Zelphir Kaltstahl [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=79dad780-518f-4252-9bb4-ea7d6127d527@posteo.de \
    --to=zelphirkaltstahl@posteo.de \
    --cc=help-guix@gnu.org \
    --cc=julien@lepiller.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).