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 p3KGas0K031703 for ; Wed, 20 Apr 2011 18:36:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BACMKr03RVdivkGdsb2JhbAClNAgUAQEBAQkJDQcUBCGIb6NFinSCJYUrM4hdAQEDBoVrBI4iigI6 X-IronPort-AV: E=Sophos;i="4.64,247,1301868000"; d="scan'208";a="106344289" Received: from mail-qy0-f175.google.com ([209.85.216.175]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 18:36:46 +0200 Received: by qyk35 with SMTP id 35so2770453qyk.6 for ; Wed, 20 Apr 2011 09:36:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=M15LCDXtVFqThaiq6eiFQBKEz1ZaPbEYWauILdNTvY0=; b=ZK7OmM3zWR14ZguLyXgb+EjuE8DekPQBeZekjvYTGMZh5EBMiBq2gYPG0OvOB92PON Fh5IqVQyM7ja+8DLSUEhQB0fP/Zjp0S43BDe5fnXiwvatMjs5lp+PPM2KcpEIe2LHCeS MEiH0c9dTks9TNzC0pZwgGgax2y2raZ8v6Pio= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=SIrQrA4fUn5sohXanzVvssyYaAKz9q4B+l6vpUT9F3I2yRSMXxTojiRx6ERkfFFkH7 7vTb9HIEeS05jcRbCJk/i+h+Tv0sckyy6vgNPtQ79a37zuli5I++Ahp/slJ9SmbmEdK4 CH85s77QSOXDfG3L0Uh3vAtwdGKugRrIP5Vig= MIME-Version: 1.0 Received: by 10.229.197.13 with SMTP id ei13mr5511483qcb.50.1303317405451; Wed, 20 Apr 2011 09:36:45 -0700 (PDT) Received: by 10.229.74.20 with HTTP; Wed, 20 Apr 2011 09:36:45 -0700 (PDT) In-Reply-To: References: Date: Wed, 20 Apr 2011 13:36:45 -0300 Message-ID: From: Andrei Formiga To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: Joel Reymont , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p3KGas0K031703 Subject: Re: [Caml-list] oasis & macosx On Wed, Apr 20, 2011 at 1:12 PM, Daniel Bünzli wrote: > > Anyway, taking the source and following the steps under the Installing > section of INSTALL.txt fails (cf. the end of this email). > > I expected oasis to be able to bootstrap itself based on the ocaml > toolchain (at least IIRC that's what Sylvain advertised during his > talk at the meeting). > > If I first need to install manually all what is listed in the > Dependency section, it's going to be rather painful. Currently you have to install the dependencies, yes. I think Sylvain is testing GODI packages for all dependencies, so it'll probably be easy to install once the packages are in the current GODI tree. Assuming you use GODI, of course. > > Btw. it is unclear from the documentation how and where oasis installs > packages. > I believe it is based on the path returned by ocamlc -where > Best, > > Daniel > -- []s, Andrei Formiga