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 q3NI1oug028627 for ; Mon, 23 Apr 2012 20:01:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiwBAI+YlU9KfVI0imdsb2JhbABEhWiaBJFeCCIBAQEKCQ0HEgYjggkBAQEEEgIPHQEbEgsBAwwGAwILDQICCR0CAiEBAREBBQEKEgYTEhCHXgEDCwubeQqLU1CCc4UnChknAwpXiHYBBQuBJIhLhj2BGASVeoERiiyDIT2EKA X-IronPort-AV: E=Sophos;i="4.75,468,1330902000"; d="scan'208";a="155214222" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Apr 2012 20:01:45 +0200 Received: by wgbgn7 with SMTP id gn7so13315413wgb.9 for ; Mon, 23 Apr 2012 11:01:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=ptIGn3TV1Z7phCLuwhnOiQMyCNuvzTamdFofP365LXE=; b=QK1FFtIsWmatp5Nss/2P+x5T2jKA8czMEauU4FB8zx/Uzgtz7poQHdWFXTKnGbyyPx boPEIDvbCNk0QnDhERyMhfpT6WpsWaqEiiCgBiy0FsG5R2deoi5YHb5OTUxPdmMnpooe 45GzYeMeMurFIAHm70i5SFzTgTz4PiA5YjIEqx5AWymiU6vDWcp9O8rWmFZPO+bDX17m m/PatQ2PgN2P0oO55isNEhWB0zoaRIA6/PTlA2we0S7etpZFQewWVTJHSAWcTWWNn5d2 OBAQ/y3UnpH5Zmm2tXcXyKMUg+5TR08k2mAYB2iIENHaW1dlNBloyKA2egECiUtrR5th UM4A== MIME-Version: 1.0 Received: by 10.180.90.102 with SMTP id bv6mr23507635wib.6.1335204104913; Mon, 23 Apr 2012 11:01:44 -0700 (PDT) Received: by 10.180.163.132 with HTTP; Mon, 23 Apr 2012 11:01:44 -0700 (PDT) In-Reply-To: <4F959470.2000803@gmail.com> References: <4F959470.2000803@gmail.com> Date: Mon, 23 Apr 2012 14:01:44 -0400 Message-ID: From: Markus Mottl To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3NI1oug028627 Subject: Re: [Caml-list] GODI, godi-janestreet-core-107.01godi5 ... installation fails Hi, the Godi version is broken for the while being. The latest version of Jane Street Core is available here: https://bitbucket.org/yminsky/ocaml-core/wiki/Home Regards, Markus On Mon, Apr 23, 2012 at 13:42, Matej Košík <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: > Hi, > > Today I decided to look closer at Janestreet's Core library. > > http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html > > I have tried to install it via GODI. > ("godi-janestreet-core-107.01godi5") > > I have attached the relevant log-file. > > I am not sure how to proceed. > > How do your systems behave? > Are you currently able to install it? > > -- > Caml-list mailing list.  Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com