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=2.5 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F4138BBAF for ; Thu, 21 May 2009 19:03:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMBAJsmFUrRVYTzmGdsb2JhbACNYwSJSz8BAQEBAQgJDAcRqSoyh2yISQEDAQSEBQWHAA X-IronPort-AV: E=Sophos;i="4.41,228,1241388000"; d="scan'208";a="28106082" Received: from an-out-0708.google.com ([209.85.132.243]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 May 2009 19:03:08 +0200 Received: by an-out-0708.google.com with SMTP id b38so701222ana.3 for ; Thu, 21 May 2009 10:03:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to :content-type:content-transfer-encoding; bh=BmJuE2RI0ObJfdDmwzxMa5Xy4Fh4ufNHpXk0nZP3KNE=; b=e8Ntc66Kwfw3xGUiuiImGipIkc50+1jEq5hdkXMC5DBcOuxHDqqAC3X27ESf4TRVBa dwO1xSh/Cx9jIUkjh2D7dpi2AK71POSl+V0ubLtj5c2cVJoQyhfScimFosI1MHFK2723 kjU1N6knCLMxWgIIc3InRCdKtQTn/+xNz/oYQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type :content-transfer-encoding; b=aV8W5M7iuYB+FS0nuk/5pESHpcAv6Gp6kQ3mt2fsUB/UVbwCbS1qvGysQCbE4S/MrO vRiwKV0Piho9WrEWAj2MNJZK1aFm6Vpy6RIumWz45FtwuzL3JummHpxX3c9koy9oJWDC E4rOdJE/Zm4bJCT/jp6x1YeEvD1xgzZ5yEC4w= MIME-Version: 1.0 Sender: peter.hawkins@gmail.com Received: by 10.100.5.12 with SMTP id 12mr5419980ane.15.1242925387202; Thu, 21 May 2009 10:03:07 -0700 (PDT) In-Reply-To: <20090521160532.GA30911@usha.takhisis.invalid> References: <20090521160532.GA30911@usha.takhisis.invalid> Date: Thu, 21 May 2009 10:03:07 -0700 X-Google-Sender-Auth: 523179bc9c7c4b21 Message-ID: Subject: Re: [Caml-list] Issues building batteries / installing camlzip From: Peter Hawkins To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; camlzip:01 camlzip:01 cheers:01 zacchiroli:01 zack:01 0100,:01 usr:01 lib:01 ocaml:01 subdirectory:01 cmx:01 cmx:01 mli:01 cmi:01 mli:01 Hi... See the "README" file in the Batteries distribution: **** Requirements **** You will need ... * Camlzip (http://cristal.inria.fr/~xleroy/software.html#camlzip) ( Note: By default, the distribution of Camlzip is note quite sufficient = for actual use. We provide the missing files in directory camlzip/ .) ... Maybe that explanation could be a bit more thorough... (and I think "note quite" should be "not quite" ). Cheers, Peter On Thu, May 21, 2009 at 9:05 AM, Stefano Zacchiroli wrote= : > 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 =A0 =A0 =A0libcamlzip.a =A0zip.cma =A0 =A0 =A0 zi= p.cmx =A0 =A0 =A0 zip.mli >> gzip.cmi =A0 =A0 =A0gzip.mli =A0 =A0 =A0zip.a =A0 =A0 =A0 =A0 zip.cmi = =A0 =A0 =A0 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'=E8 ..| =A0. =A0|. Et ne m'en veux pas si je te t= utoie > sempre uno zaino ...........| ..: |.... Je dis tu =B1 tous ceux que j'aim= e > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >