From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4UB4Jxg003685 for ; Mon, 30 May 2011 13:04:19 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBAEd5403RVdo2mWdsb2JhbAA/AQMShEmhWAgUAQEBAQEICwsHFCWIcaB3i2KCc4NziRsBAQMGgSWDbIEHBJBPiyY7gSqCEQ X-IronPort-AV: E=Sophos;i="4.65,290,1304287200"; d="scan'208";a="109846831" Received: from mail-yi0-f54.google.com ([209.85.218.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 May 2011 13:04:14 +0200 Received: by mail-yi0-f54.google.com with SMTP id 12so2133927yie.27 for ; Mon, 30 May 2011 04:04:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=nti7U2WHXvuI13fe9PTF+5dNFDbJhAevTif/Jbzd5TY=; b=Gg3eZEDps0/GCmomgL3miqNz8BXNoWnGVvZMbh4wiZa/iiboYx9u2j0p9b8+GjxEea KvKEzaVKDS1uftyx2+pMHJ0el392JqOMGNvjcCxCCDzymt/56T3kl8AVtlRF1BBuUygO TJzHct1gvLmP/auA/12Lvjgc7DkrDYPX4aY00= 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:cc:content-type; b=l4lJ5zrMUe9uLmY+HgmYOgtJhD/7C9qUADubH3bYl+UrWfwbN2pcS9mFLeXq25TSSX wHzy6qUJsa5klZfrGGyHwu15drliJTLBfJ4Lw76vvMPBEY/Ry6XVQALL0XpY+aYC3cVA VUH0+sO+Hhfg3WuHAyP0yYM1EI2iEgq85bYpc= MIME-Version: 1.0 Received: by 10.146.98.3 with SMTP id v3mr3898562yab.36.1306753453872; Mon, 30 May 2011 04:04:13 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.147.99.11 with HTTP; Mon, 30 May 2011 04:04:13 -0700 (PDT) In-Reply-To: <20110519092949.GK30282@centi.ks368928.kimsufi.com> References: <20110519092949.GK30282@centi.ks368928.kimsufi.com> Date: Mon, 30 May 2011 13:04:13 +0200 X-Google-Sender-Auth: 5nHjnbDviUGdjsWujvESqaIx9ao Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Sylvain Le Gall Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Re: oasis & macosx Hello, Trying to compile/install oasis by hand. Building odn fails as follows. Any idea, I'm not much (at all, I should say) into camlp4 ? Best, Daniel > ocaml setup.ml -build I: Running command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug' Finished, 0 targets (0 cached) in 00:00:00. + ocamlfind ocamlc -c -g -package type-conv -package camlp4.quotations.o -package camlp4.lib -syntax camlp4o -I src -I type-conv-2.3.0/lib -o src/pa_odn.cmo src/pa_odn.ml File "src/pa_odn.ml", line 207, characters 21-33: Error: This expression has type Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.expr but an expression was expected of type Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a -> 'b Command exited with code 2. Compilation unsuccessful after building 12 targets (11 cached) in 00:00:00. E: Command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug' terminated with error code 10