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 01:18:25 +0000 [thread overview]
Message-ID: <d6f539d5-a0d9-4094-907d-2d7e44c3f3f4@posteo.de> (raw)
In-Reply-To: <C8879BB1-A50D-415E-B23F-FC951DE0F4AF@lepiller.eu>
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
next prev parent reply other threads:[~2025-01-02 1:19 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 [this message]
2025-01-02 7:44 ` Julien Lepiller
2025-01-02 13:35 ` Zelphir Kaltstahl
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=d6f539d5-a0d9-4094-907d-2d7e44c3f3f4@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).