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 9357D81799 for ; Thu, 25 Jul 2013 17:17:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sylvain@le-gall.net) identity=pra; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="sylvain@le-gall.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQDAANB8VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGRuHeQi5TZAag2oDmQiTOA X-IPAS-Result: AiQDAANB8VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGRuHeQi5TZAag2oDmQiTOA X-IronPort-AV: E=Sophos;i="4.89,744,1367964000"; d="scan'208";a="22258892" Received: from plane.gmane.org ([80.91.229.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 Jul 2013 17:17:10 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1V2NHv-0001rD-1Q for caml-list@inria.fr; Thu, 25 Jul 2013 17:17:07 +0200 Received: from root.ovh.le-gall.net ([37.59.37.175]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Jul 2013 17:17:07 +0200 Received: from sylvain by root.ovh.le-gall.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Jul 2013 17:17:07 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Date: Thu, 25 Jul 2013 15:16:51 +0000 (UTC) Message-ID: References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: root.ovh.le-gall.net User-Agent: slrn/pre1.0.0-18 (Linux) Subject: [Caml-list] Re: AW: GODI is shutting down On 24-07-2013, Thomas Gazagnaire wrote: >> Oasis may are may not become the standard OCaml package specification >> tool, but it is widely used so I think it's fair if it is better >> supported by OPAM than alternatives. > > Right, this is indeed a feature requested by many people, than I can hear. This is tracked and discussed in [1] and I'm fine to try to implement the proposed solution in 1.1 (I've just updated the issue's release target). > > [1] https://github.com/OCamlPro/opam/issues/156 > >> It really shouldn't be that hard to automate the >> process of updating OPAM metadata (including version constraints) >> based on changes in Oasis package specifications. > > A substantial amount of work has already been done by Christophe Troestler to automate the conversion of _oasis into OPAM files: > > $ opam install oasis2opam > > I'm sure this can be completed to automate the pull-request machinery as well. > > 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, modify the package tarball, and make a new release -- > which means you can never 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. > We don't share the same POV here. If a constraints is bad it should be fixe in the upstream version. A quick fix could be to patch it in OPAM, but if a constraint is bad with OPAM, Debian packagers will have to do the same kind of fix. So we should make it upsteam, not keep the fix in OPAM. Cheers, Sylvain Le Gall -- Website: http://sylvain.le-gall.net/ OCaml forge: http://forge.ocamlcore.org OCaml blogs: http://planet.ocaml.org