From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A80D47EE4B for ; Mon, 30 Sep 2013 08:33:45 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.162 as permitted sender) identity=mailfrom; client-ip=134.160.33.162; receiver=mail3-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 (mail3-smtp-sop.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.162 as permitted sender) identity=helo; client-ip=134.160.33.162; receiver=mail3-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: AnoBALQaSVKGoCGinGdsb2JhbABagz/BS4E6DgEBAQEBCAsJCRQogiUBAQU4QBELGAkWDwkDAgECAUUTBgIBAYgCDLw3BI9YFoQMA4k3jkiGM455 X-IPAS-Result: AnoBALQaSVKGoCGinGdsb2JhbABagz/BS4E6DgEBAQEBCAsJCRQogiUBAQU4QBELGAkWDwkDAgECAUUTBgIBAYgCDLw3BI9YFoQMA4k3jkiGM455 X-IronPort-AV: E=Sophos;i="4.90,1006,1371074400"; d="scan'208";a="28500571" Received: from postman2.riken.jp (HELO postman.riken.jp) ([134.160.33.162]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Sep 2013 08:33:44 +0200 Received: from postman.riken.jp (postman2.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id 207E7126068F for ; Mon, 30 Sep 2013 15:33:42 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id E0FF91270051 for ; Mon, 30 Sep 2013 15:33:41 +0900 (JST) Message-ID: <52491B21.5090201@riken.jp> Date: Mon, 30 Sep 2013 15:33:05 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <20130927091146.54ef8c42@atmarama.noip.me> <5248D69C.4040307@riken.jp> <20130930080141.42e0d03a@atmarama.noip.me> In-Reply-To: <20130930080141.42e0d03a@atmarama.noip.me> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2013.9.30.62714 Subject: Re: [Caml-list] UFO (United Forces of OCaml) On 09/30/2013 03:01 PM, Gour wrote: > On Mon, 30 Sep 2013 10:40:44 +0900 > Francois Berenger wrote: > >> You forgot a very interesting one: obuild >> >> Cf. >> https://github.com/vincenthz/obuild > > That one looks interesting (being based on Cabal), although I notice > there is no 'uninstall' target. :-/ This is a known issue, since there is no install target currently. I think there is a proposition in the bug tracker to generate .install files for OPAM, though I cannot find the issue back. -- Best regards, Francois Berenger.