From: Stefano Zacchiroli <zack@upsilon.cc>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Issues building batteries / installing camlzip
Date: Thu, 21 May 2009 18:05:32 +0200 [thread overview]
Message-ID: <20090521160532.GA30911@usha.takhisis.invalid> (raw)
In-Reply-To: <dcb2fcee0905210746o38f47391uad8d1c26041e84a3@mail.gmail.com>
On Thu, May 21, 2009 at 03:46:42PM +0100, Malcolm Reynolds wrote:
> which evaluates to /usr/local/lib/ocaml - there is a zip subdirectory
> here, and it contains these files:
>
> dllcamlzip.so gzip.cmx libcamlzip.a zip.cma zip.cmx zip.mli
> gzip.cmi gzip.mli zip.a zip.cmi zip.cmxa
>
> Does this look reasonable? I'm definitely still missing something,
Yes, you are missing a META file, that "registers" camlzip with
findlib, which is in turn used by the batteries configuration
machinery to decide whether camlzip is installed or not.
> Does anyone have any advice on how to fix this? I wonder whether
> it's due to some OS X idiosyncracy, like having library files end in
> ".dylib" rather that ".a"...
Looks like is more the fact that your camlzip "upstream" is not
shipping META, while both Debian and GODI are doing that. You can take
the META file from one of us/them and add it to your camlzip dir.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
next prev parent reply other threads:[~2009-05-21 16:07 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-21 14:46 Malcolm Reynolds
2009-05-21 16:05 ` Stefano Zacchiroli [this message]
2009-05-21 17:03 ` [Caml-list] " Peter Hawkins
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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20090521160532.GA30911@usha.takhisis.invalid \
--to=zack@upsilon.cc \
--cc=caml-list@yquem.inria.fr \
/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