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.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 841E0BBAF for ; Tue, 21 Oct 2008 22:22:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAEDX/UhKfSwckWdsb2JhbACDIJAMPgEBAQEJCwoHEQOpNn+HfQEDAQODTYMn X-IronPort-AV: E=Sophos;i="4.33,460,1220220000"; d="scan'208";a="18353123" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Oct 2008 22:22:36 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9LKMZDT001598 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 21 Oct 2008 22:22:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAEDX/UhKfSwckWdsb2JhbACDIJAMPgEBAQEJCwoHEQOpNn+HfQEDAQODTYMn X-IronPort-AV: E=Sophos;i="4.33,460,1220220000"; d="scan'208";a="18353116" Received: from yx-out-2324.google.com ([74.125.44.28]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Oct 2008 22:22:11 +0200 Received: by yx-out-2324.google.com with SMTP id 8so429249yxg.27 for ; Tue, 21 Oct 2008 13:22:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=QmdkPj1r2+L+gMyynvnnwkeMLAHpTe2DZAm5nniqoOk=; b=S9R36bomCiOe2akk4j7YVyen4QLKAOXunigh2Gnd2YxSDoA4gUuu0bMeZd9W2b2X3o CWXsu9PKYso14I86NJNrT7gjSbJMP8TiI5FHUagK+Ywzu1kygdVLKn+xoRB85wHQqq8A UvQ/DSpzXqyf7NLHSwlkVxf2scBDFl0rgTFso= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=krC+F5jkMn+JM+IyGeklHCFFJdJYpBqFLedbmlmcvhKYBzZJuwAerR/E6Rk7s8aTrM 0aePNB+kVfUeP9ImDCku+3jGLvmkoXGVZU0BzNeLbmHz5IOmeUd1MnD0lxXZFJQmAJ2l CL50CZwkcVKOegtFM27VvlH+xF28pnDTOJrHU= Received: by 10.142.240.19 with SMTP id n19mr3939359wfh.332.1224620529698; Tue, 21 Oct 2008 13:22:09 -0700 (PDT) Received: by 10.143.35.6 with HTTP; Tue, 21 Oct 2008 13:22:09 -0700 (PDT) Message-ID: Date: Tue, 21 Oct 2008 16:22:09 -0400 From: "Markus Mottl" To: "Ashish Agarwal" Subject: Re: [Caml-list] problem installing janestreet core through godi Cc: "Caml List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-Miltered: at discorde with ID 48FE3A0B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocamlfind:01 ocamlc:01 -package:01 -pp:01 cpp:01 flags:01 camlp:01 mli:01 mli:01 syntax:01 ocamlfind:01 2008/10/21 Ashish Agarwal : > I am having trouble installing JaneStreet's Core library through godi. > On Mac OS X, it fails while installing the prerequisite bin-prot: > ... >> ocamlfind ocamlc -package type-conv -c -pp "cpp $ARCH_FLAGS " -I +camlp4 >> type_class.mli >> File "type_class.mli", line 93, characters 15-16: >> Syntax error > ... > Line 93 of type_class.mli is: > MK_BASE(unit) It's possible that the C-preprocessor works differently on Mac OS X. I haven't investigated this yet, but would be grateful if anybody who has set up Godi on a Mac could try to find a patch. > On a Red Hat Enterprise Linux system, bin-prot successfully installs. > However, janestreet-core fails: > ... >> ocamlfind ocamlc -package res,sexplib,bin_prot,threads -c -thread -dtypes >> -for-pack Core -dtypes -I +camlp4 -I . binable.ml >> File "binable.ml", line 12, characters 21-47: >> Unbound type constructor Map_to_safe.sw_arg > ... > Line 12 of binable.ml is > val bin_sw_arg_t : binable Map_to_safe.sw_arg janestreet-core is out of date, and a new version will be released within the next few weeks. You might want to downgrade the bin-prot package installed in your Godi tree to an older version. Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com