From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 146ADBBAF for ; Thu, 21 May 2009 18:07:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4CAIsYFUpDz4HegWdsb2JhbACXcQEBFiK6FoQJBQ X-IronPort-AV: E=Sophos;i="4.41,228,1241388000"; d="scan'208";a="26564204" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 May 2009 18:07:24 +0200 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id 11D60180C0 for ; Thu, 21 May 2009 16:07:22 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id F25C56258; Thu, 21 May 2009 18:05:32 +0200 (CEST) Date: Thu, 21 May 2009 18:05:32 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Issues building batteries / installing camlzip Message-ID: <20090521160532.GA30911@usha.takhisis.invalid> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; zacchiroli:01 zack:01 camlzip:01 0100,:01 usr:01 lib:01 ocaml:01 subdirectory:01 cmx:01 cmx:01 mli:01 cmi:01 mli:01 cmi:01 cmxa:01 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