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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 50D3E81799 for ; Thu, 25 Jul 2013 22:03:58 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYGAMqD8VFbeUeT/2dsb2JhbABAGoMGNYJzaYl5BrBWgRcWdIIlAQUjVhALDgwCBRMOAgIPBRgxiCcIM6dahzSKEYEojlUHgl8zbgOXXgGBKZAkgxY6 X-IPAS-Result: AiYGAMqD8VFbeUeT/2dsb2JhbABAGoMGNYJzaYl5BrBWgRcWdIIlAQUjVhALDgwCBRMOAgIPBRgxiCcIM6dahzSKEYEojlUHgl8zbgOXXgGBKZAkgxY6 X-IronPort-AV: E=Sophos;i="4.89,745,1367964000"; d="scan'208";a="22280664" Received: from nautica.notk.org ([91.121.71.147]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 25 Jul 2013 22:03:57 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id D727EC009; Thu, 25 Jul 2013 22:03:56 +0200 (CEST) Date: Thu, 25 Jul 2013 22:03:56 +0200 From: Adrien Nader To: Christopher Zimmermann Cc: caml-list@inria.fr Message-ID: <20130725200356.GA15673@notk.org> References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> <7F8931D5-E65D-49EB-B54D-A50716F3EFDD@recoil.org> <51F0801A.5080603@riken.jp> <20130725172359.a40fdfb172b120cadab5544a@gmerlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20130725172359.a40fdfb172b120cadab5544a@gmerlin.de> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Re: GODI is shutting down Hi, I believe this entry on the bugtracker is worth mentionning: "ocamlbuild should expose common interface as a library" http://caml.inria.fr/mantis/view.php?id=5869 More generally, ocamlbuild's development was mostly stalled but has restarted recently. This should allow fixing many issues and shortcomings. -- Adrien Nader