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 B0F5E7ED34 for ; Mon, 9 Jul 2012 03:49:57 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.161 as permitted sender) identity=mailfrom; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.161 as permitted sender) identity=helo; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="postmaster@postman.riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoECAGM4+k+GoCGhh2dsb2JhbABFhWayGAEBAQoLCQcWJ4IgAQEEASMPAQVABgsLEgYCAgUWBAcCAgkDAgECATcOEwgBAReHbAancZFjgSCKIIJwggqBEgOIR4xvgRKERINQiU0 X-IronPort-AV: E=Sophos;i="4.77,548,1336341600"; d="scan'208";a="150008391" Received: from postman1.riken.jp (HELO postman.riken.jp) ([134.160.33.161]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Jul 2012 03:49:55 +0200 Received: from postman.riken.jp (postman1.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id 1F9F525882B7; Mon, 9 Jul 2012 10:49:50 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id A2BE032A0089; Mon, 9 Jul 2012 10:49:48 +0900 (JST) Message-ID: <4FFA38BC.7070507@riken.jp> Date: Mon, 09 Jul 2012 10:49:48 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1 MIME-Version: 1.0 To: 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 X-PMX-Version: 5.6.0.2009776, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2012.7.9.13916 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 10:59 PM, 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). Don't hesitate to propose patches for odb.ml, the code is fairly simple and completely standalone. Also, github is very nice for collaborating. > 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 ? Another way would be to create your own tarball, already patched, then give it to odb via your ~/.odb/packages file. Regards, F.