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 3536A81799 for ; Thu, 25 Jul 2013 17:02:14 +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: AiQDAEM98VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGYgUuVGQGoNqA5kIkzg X-IPAS-Result: AiQDAEM98VFQW+UDgWdsb2JhbABagzu/QxYOAQEWJiiCJAEBBYEJCxguECwbGYgUuVGQGoNqA5kIkzg X-IronPort-AV: E=Sophos;i="4.89,743,1367964000"; d="scan'208";a="22257241" 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:02:13 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1V2N3Q-0005SB-E9 for caml-list@inria.fr; Thu, 25 Jul 2013 17:02:08 +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:02:08 +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:02:08 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Date: Thu, 25 Jul 2013 15:01:41 +0000 (UTC) Message-ID: References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> <51EFFE3A.30603@gmail.com> <51F00744.1010706@gmail.com> <20D2E977-CFA7-4BA4-B061-BB095E951954@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: >>>>> 6. "No, all package managers should unite in this point, and only accept >>>>> packages with oasis support. (Btw, that's homework for me.) Just do it the >>>>> same way as we did when requiring findlib." >>>>> >>>>> I disagree, people should be free to use whatever system they want. >>>> >>>> The above argument, in general, is invalid. >>> >>> [citation needed] >> >> Indeed. >> >> In which moral system would your claim: >> >> "People should be free to use whatever system they want.", >> >> in general, be valid? >> >> It just puzzles me that someone can claim this. >> It is like saying that: >> >> "People should be free do do whatever they want." >> >> Regardless of what particular individual believes|is_able_to_explain is right or wrong, I cannot find a single system where your claim would be valid. > > Right, seems that people are quite keen to argue today. What I meant > is: given the current state of affairs in the build system world and > the very different needs of the very different set of existing users, > I am *very* reluctant to force anybody to use any specific build > system. > OASIS is not a build system! It is a kind of makemaker (or autoconf/automake). The default target is to generate a build system for ocamlbuild. There is also the options to use simple command to build and to e.g. use a Makefile base system. I am also reluctant to integrate other build system as target (e.g OMake). The good point about OASIS is that it gives you a upstream dev definition of dependencies and constraints. This is a nice first step to generate whatever package. I had some successes generating GODI, OPAM and Debian packages. OASIS has been designed so that it can be useful to upstream developper and to packager. Upstream developper can use it to build their software and packager can extract the very same file (_oasis) used by upstream to generate package. Generally speaking this was a good way to solve the obsolescene of META file (because upstream devs don't need a META it is only used by end user, so it tends to be not up to date). The good practice should be that if OPAM QA system find a bad dependencies, it should tell the upstream to fix its dependencies definition in _oasis and do a release so that all other packagers will benefit from the bug found. Cheers, Sylvain Le Gall -- Website: http://sylvain.le-gall.net/ OCaml forge: http://forge.ocamlcore.org OCaml blogs: http://planet.ocaml.org