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 F3FC37ED45 for ; Mon, 2 Jul 2012 16:29:32 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thelema314@gmail.com) identity=pra; client-ip=209.85.213.50; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of thelema314@gmail.com designates 209.85.213.50 as permitted sender) identity=mailfrom; client-ip=209.85.213.50; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@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-yw0-f50.google.com) identity=helo; client-ip=209.85.213.50; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="postmaster@mail-yw0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsIBANKv8U/RVdUyk2dsb2JhbABFhVqwfAgiAQEBAQkJCwkUBCOCGAEBAQQSAg8PAQUIARscAQEDDAYFCwcGAgIFFgQHAgIJAwIBAgEREQEFAQ4OBg0BBwEBFweHWgEDC5x5CQOLVE+CcYR3ChknDVeIcQEFDIEUihuFCIESA5U0gRKERINQhQA+hBo X-IronPort-AV: E=Sophos;i="4.77,510,1336341600"; d="scan'208";a="149387059" Received: from mail-yw0-f50.google.com ([209.85.213.50]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Jul 2012 16:29:32 +0200 Received: by yhjj63 with SMTP id j63so5293080yhj.9 for ; Mon, 02 Jul 2012 07:29:31 -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:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=b6Hr5tO5loFb9V4uwbrMD8jKbacgGrwdrHo6X0BwIgs=; b=GxicXRpmEU+r+mIzk5RTE1/cOSWPYTx2alfwCDZw5L/Sa8dwrJ/uRzyad0qZHFdEVy VhloLWYh8TyctCYgRROuC9lolft86wDOsgBya9maRaBLqehD6hxNr4/H01Hrne4k0ST7 lBsOP+PK0V+BYvt3+PmmoqdcFCEJpDkn83Zo0dwyWWFnhFVPWxWFegQsOih+rtvDQLw+ Ch4McQXk691vsReNFlYcXJx19miIJ9C7XYYA+cncW+jbBk/XMAN1E6A7EIbQKZgQST7m exqD6vMGFY5GSkfTFycZZJTp/XmN6i1LobeU9W7ZNW8PFPWVwYvRF+hOx+gvM9zljl8s y9wg== Received: by 10.43.2.6 with SMTP id ns6mr6342491icb.54.1341239370543; Mon, 02 Jul 2012 07:29:30 -0700 (PDT) Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10]) by mx.google.com with ESMTPS id pb3sm19296800igc.17.2012.07.02.07.29.29 (version=SSLv3 cipher=OTHER); Mon, 02 Jul 2012 07:29:29 -0700 (PDT) Message-ID: <4FF1B048.6040404@gmail.com> Date: Mon, 02 Jul 2012 10:29:28 -0400 From: Edgar Friendly User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1 MIME-Version: 1.0 To: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= CC: caml-list@inria.fr References: <12E1C9A9EB7E4DA1B609D88D360B797B@erratique.ch> In-Reply-To: <12E1C9A9EB7E4DA1B609D88D360B797B@erratique.ch> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [was: [Caml-list] [ANN] oasis v0.3.0: Architecture for building OCaml libraries and applications] Pb with type_conv & odb On 07/02/2012 09:59 AM, Daniel Bünzli wrote: > > > Le lundi, 2 juillet 2012 à 11:18, Sylvain Le Gall a écrit : > >> I think Jane Street Core team added the "-w @Aemr-28" flags. They did >> it in myocamlbuild.ml section not managed by OASIS. The only solution >> is to change by hand. > > Mmmh. I'm a little bit stuck (too lazy to delve into odb.ml, in fact). > > 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. > > 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 ? > > Best, > > Daniel > > At the moment, the way to have odb.ml install a package from a local directory is to add it to your packages file, like this: type_conv dir=~/.odb/install-type_conv/type_conv-108.00.01 At the moment, odb allows the use of tarballs (http or local) on the command line, but doesn't properly handle local directories. I'll see if I can add support for this quickly. E.