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=3.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,HTML_MESSAGE,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 33A39BBAF for ; Wed, 22 Oct 2008 20:34:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQEAKgP/0jAXQImgWdsb2JhbACCRS6QOj4BARYiqWh8h3sBAwEDg0w X-IronPort-AV: E=Sophos;i="4.33,465,1220220000"; d="scan'208";a="19056603" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Oct 2008 20:34:26 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9MIYLBV002848 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 22 Oct 2008 20:34:26 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBALwO/0hKfSwekGdsb2JhbACCRS6QOj4BAQEBCQkMBxEDqVV8h3sBAwEDg0w X-IronPort-AV: E=Sophos;i="4.33,465,1220220000"; d="scan'208";a="30631209" Received: from yx-out-2324.google.com ([74.125.44.30]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Oct 2008 20:34:26 +0200 Received: by yx-out-2324.google.com with SMTP id 8so538599yxg.27 for ; Wed, 22 Oct 2008 11:34:25 -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:in-reply-to:mime-version:content-type:references; bh=PNtCMtiMFpltMJz6/22HKJ/cbBcTIrGtrDXCi7f/ntg=; b=LGBeuK2B5tqpoUk1vfidKE0iczGNWqJUY9PkgycoZ7t7NpkHeGpGODTx5tEMeLIVkH OimTB5IVLrIA4vaPqUu2M8XS7zJJtHouUg4/25/0/MWuzJE24FVi+V3nxnUA+wY7Jeob 2d7LuPCWL4SbtB0X8lC9mQj0qDIoISvbnyt6s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:references; b=m5ig9JenApdkaJX90e4/3RG4xjXpJimwAAwnrQH599jVzjOBGQ9nc+rNtLHVvXHQtG vEyGMRSst+3aWCMzXQz5SeajEcYKzuiiNZA0e3h+38PreovTcS3RrUI0T/uKmX5BGAiV sN/+grFJ7yur6dZWaPhTq+uvEF7Zm/chIJVWo= Received: by 10.142.222.4 with SMTP id u4mr4491007wfg.250.1224700465096; Wed, 22 Oct 2008 11:34:25 -0700 (PDT) Received: by 10.143.162.5 with HTTP; Wed, 22 Oct 2008 11:34:25 -0700 (PDT) Message-ID: Date: Wed, 22 Oct 2008 14:34:25 -0400 From: "Ashish Agarwal" To: "Caml List" Subject: Fwd: [Caml-list] problem installing janestreet core through godi In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_34065_32551923.1224700465084" References: <20081022081635.GU14123@janestcapital.com> <06FF3A9B-10CE-4336-B828-EE6FA4A291E0@mua.biglobe.ne.jp> X-Miltered: at discorde with ID 48FF722D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mli:01 cpp:01 flags:01 gcc:01 flags:01 usr:01 usr:01 cpp:01 mli:01 gcc:01 1975:98 4.2:98 4.2:98 wrote:01 wrote:01 ------=_Part_34065_32551923.1224700465084 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline I only had cpp-4.0 and tried your suggestion with that; bin-prot compiles completely. On Wed, Oct 22, 2008 at 1:57 PM, Nobuyuki TOMIZAWA < n-tomizawa@mua.biglobe.ne.jp> wrote: > Hi, list, > > Thank you for the replies. In type_class.ml and type_class.mli, I > replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). > > > Another option is to use /usr/bin/cpp-4.2 instead of /usr/bin/cpp. > > After making symbolic link ~/bin/cpp to /usr/bin/cpp-4.2 (and put `~/bin' > in PATH), I succeed to build bin-proto without source code modification. > > -- nobuyuki > ------=_Part_34065_32551923.1224700465084 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline
I only had cpp-4.0 and tried your suggestion with that; bin-prot compiles completely.


On Wed, Oct 22, 2008 at 1:57 PM, Nobuyuki TOMIZAWA <n-tomizawa@mua.biglobe.ne.jp> wrote:
Hi, list,


Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). 

Another option is to use /usr/bin/cpp-4.2 instead of /usr/bin/cpp.

After making symbolic link  ~/bin/cpp to /usr/bin/cpp-4.2 (and put `~/bin' in PATH),  I succeed to build bin-proto without source code modification.

-- nobuyuki


------=_Part_34065_32551923.1224700465084--