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 CDFB881799 for ; Wed, 24 Jul 2013 18:41:30 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqENADAD8FFZELGadGdsb2JhbABariuTOQQBAwGBLA4BDBUIPIIkAQEEAXkQC0YhNgYTh34DCQqwJw2IXo0VgX04MweDEm4DiSqMTIFpjCeIWhw X-IPAS-Result: AqENADAD8FFZELGadGdsb2JhbABariuTOQQBAwGBLA4BDBUIPIIkAQEEAXkQC0YhNgYTh34DCQqwJw2IXo0VgX04MweDEm4DiSqMTIFpjCeIWhw X-IronPort-AV: E=Sophos;i="4.89,736,1367964000"; d="scan'208";a="22151283" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Jul 2013 18:41:30 +0200 Received: (qmail 19511 invoked by uid 634); 24 Jul 2013 16:41:30 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from ip-64-134-140-73.public.wayport.net (HELO [192.168.4.176]) (64.134.140.73) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 24 Jul 2013 17:41:30 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 24 Jul 2013 09:41:26 -0700 Cc: Thomas Gazagnaire , Markus Mottl , Gerd Stolpmann , Fabrice Le Fessant , Francois Berenger , Ocaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> To: Gabriel Scherer X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] GODI is shutting down On 24 Jul 2013, at 09:36, Gabriel Scherer wrote: >> However, the main problem (the one I wanted to point out) still remains:= every time you want to fix a constraint you have to change your _oasis, mo= dify the package tarball, and make a new release -- which means you can nev= er fix constraints on already released packages. But I guess in this case, = it's fine if the _oasis and OPAM files are not in sync. >=20 > You could include a patch against the _oasis file in the OPAM (or > GODI) metadata. That's not enough. You also need a build-time requirement to regenerate the OASIS autogenerated files by calling 'oasis setup', which increases the total build time significantly. Some projects (such as Mirage) also use a forked OASIS to add some specialised features in the generated output, and so need special rules to regenerate them. -anil=