From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@googlemail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id C30877ED45
	for <caml-list@sympa.inria.fr>; Mon,  2 Jul 2012 16:04:22 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  wojciech.meyer@googlemail.com) identity=pra;
  client-ip=209.85.217.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="wojciech.meyer@googlemail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  wojciech.meyer@googlemail.com designates 209.85.217.182 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.217.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="wojciech.meyer@googlemail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-lb0-f182.google.com) identity=helo;
  client-ip=209.85.217.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@googlemail.com";
  x-sender="postmaster@mail-lb0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: At8BAJyp8U/RVdm2mGdsb2JhbABFtlYIIgEBAQEBCAkNBxQnghgBAQEDARICLAEBNwEECwsLBykLIhIBBQEODgY1h1oBAwYFnQEJA4pmhC4BBYRsCkANiUgGkVWVN4ESiBSFAD6Dfw
X-IronPort-AV: E=Sophos;i="4.77,510,1336341600"; 
   d="scan'208";a="165285384"
Received: from mail-lb0-f182.google.com ([209.85.217.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Jul 2012 16:04:22 +0200
Received: by lbon10 with SMTP id n10so13540461lbo.27
        for <caml-list@inria.fr>; Mon, 02 Jul 2012 07:04:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=YBtrEza+ivp3yCBVjVwioNQ4W/5Ujq9c8ZXbpRse/5w=;
        b=acWdCEwgmg5TglrAlz9kCkfV/1mAz4geZkcqLkWzWjBX+VRHBMvv7n3G1t6Kw0saTe
         /uKKgEw064NbymZZh4I+mOQhpkuVg2oyqzsqSff2RG8cdhYvmhMNCNT+mnwVF/xuRdUd
         YE8Hkz5AFaILn28RWw97aEop5ngcv/rjeS60qI9jZW6pmmr8b2S+20Gnf0xAFcopPhY1
         SZRlge6k8WjeMe/AqA4m9FTSJgpVLc16PdxqPq3Qjs8Hmq9E58LCmxnBoKo2xc38AjAM
         dgaKUcGKuaIlKPxVsSd1lzxj3GsB7gD75m1GE/Wmo+jujW15b4xPIcOpKgwljOfVMuph
         scHQ==
MIME-Version: 1.0
Received: by 10.152.112.233 with SMTP id it9mr13001768lab.40.1341237861190;
 Mon, 02 Jul 2012 07:04:21 -0700 (PDT)
Received: by 10.114.0.203 with HTTP; Mon, 2 Jul 2012 07:04:21 -0700 (PDT)
In-Reply-To: <12E1C9A9EB7E4DA1B609D88D360B797B@erratique.ch>
References: <CAOCAUGNz5cTXk1dRqKVUr_-ky_kOBF0TswQhC059+UG3rwNCKQ@mail.gmail.com>
	<12E1C9A9EB7E4DA1B609D88D360B797B@erratique.ch>
Date: Mon, 2 Jul 2012 15:04:21 +0100
Message-ID: <CAOg1smDfQcQuWMxmFw7yFAubr_j6dfpyye3g3MBizKGp-+06GA@mail.gmail.com>
From: Wojciech Meyer <wojciech.meyer@googlemail.com>
To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= <daniel.buenzli@erratique.ch>
Cc: caml-list@inria.fr, Edgar Friendly <thelema314@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [was: [Caml-list] [ANN] oasis v0.3.0: Architecture for building
 OCaml libraries and applications] Pb with type_conv & odb

Hi Daniel,

> Tried to remove the flag manually in `~/.odb/install-type_conv/type_conv-108.00.01/myocamlbuild.ml` but it seems that when I reissue `odb --unstable type_conv`, odb restarts everything from scratch, download included.

You can simply reissue:

ocaml setup.ml -build
ocaml setup.ml -install

in ~/.odb/install-type_conv/type_conv-108.00.01/

that should work.

> There is `--get` that only downloads and extracts the package is there a flag like `--no-get` to be able to start from that state in odb ?

at the moment I can't look into that, but I hardly can remember if
that was possible.

Wojciech