From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 90D887ED5C for ; Sun, 5 Aug 2012 11:25:42 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQFAFk7HlDRVaA2jWdsb2JhbABEhTRHsjUEBH0IIgEBAQEHCxQSBiOCIAEBAQQBAQEPAg8VCAEbHAEBAwwGBQsDCgICBRYLAgIJAwIBAgEREQEFARwGDQEHAQEeh1sBAwsBnGAJA4tUT4Jxg30KGScNV4hxAQUMgRWKKYVygRIDlUmOLz6EGg X-IronPort-AV: E=Sophos;i="4.77,715,1336341600"; d="scan'208";a="152464906" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Aug 2012 11:25:41 +0200 Received: by pbbro2 with SMTP id ro2so4764584pbb.27 for ; Sun, 05 Aug 2012 02:25:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:newsgroups:to:cc :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=4yF5zs6Htnk0n/teZgCXKynvxQ3RaDglvjar+I4HzKc=; b=a5/mk/1Ttx5DMZ4RwYzyLCUzJoJ+ZMz5jUzzNWZP2V91rlNjXbk7ksMAtjZc6O8K+7 +O/GMcPqaOAtEalEFk9Qb2n5wfKHncRWGzW+qf1GyB5usymXlC4FpmVrBGhx7XV8z6GD yk2o7z5+9vryjUToQOP/r3Yix2o0UKvjDOQQ0fs3T0/p9Qx226qUrlXSvehW2R9gnhTg GF+7uvNKaDgGRIyyjvjzOXmZ0Vx4wz666jr5C37tOL3pAk2zLw0dUL8lcWS/P6bOb/QR 69rsAq2/MpBTK9AEjIFTg9h2FnubibCcvOhUNYfLwMzu+lUEfLxr5HYmXqUF6jh7g/Cw 5nSQ== Received: by 10.68.189.74 with SMTP id gg10mr10387290pbc.65.1344158739717; Sun, 05 Aug 2012 02:25:39 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([111.73.187.229]) by mx.google.com with ESMTPS id of1sm6574572pbb.15.2012.08.05.02.25.37 (version=SSLv3 cipher=OTHER); Sun, 05 Aug 2012 02:25:38 -0700 (PDT) Message-ID: <501E3C0B.9070909@gmail.com> Date: Sun, 05 Aug 2012 05:25:31 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 MIME-Version: 1.0 Newsgroups: gmane.comp.lang.caml.inria To: Edgar Friendly CC: caml-list@inria.fr References: <20120731080321.0708141c@locris.home> <501DCA61.8060800@gmail.com> <501DDEA8.1020006@gmail.com> In-Reply-To: <501DDEA8.1020006@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Re: [ANN] utop 1.2 On 8/4/12 10:47 PM, Edgar Friendly wrote: Thanks, the experience with odb is awesome ;) > On 08/04/2012 09:20 PM, Hongbo Zhang wrote: >> I know it would be convenient to use some package managers like Godi, >> but I maintained my own fork of ocaml(I changed the ocaml's compiler >> frequently, using Godi would bring a lot of pain). > > odb.ml should be able to help you here; try the following commands > (taken from ocamlbrew): > > odb.ml react > odb.ml --configure-flags --enable-react lwt > odb.ml utop > > as long as your ocamlfind isn't broken, this should install utop and its > dependencies, including the slightly custom lwt with react support enabled. > > E. >