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 0DAF081799 for ; Tue, 23 Jul 2013 00:32:51 +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: Am4GAPix7VFZELGadGdsb2JhbABbsH+TO4ErDgEMFQg8giQBAQQBeQULBQYOOEkBDQYTEYd5CrhRj2MzB4MQbgOXXZRgOw X-IPAS-Result: Am4GAPix7VFZELGadGdsb2JhbABbsH+TO4ErDgEMFQg8giQBAQQBeQULBQYOOEkBDQYTEYd5CrhRj2MzB4MQbgOXXZRgOw X-IronPort-AV: E=Sophos;i="4.89,722,1367964000"; d="scan'208";a="21943582" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 23 Jul 2013 00:32:48 +0200 Received: (qmail 30427 invoked by uid 634); 22 Jul 2013 22:32:47 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.125]) (86.30.244.239) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 22 Jul 2013 23:32:47 +0100 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) Content-Type: text/plain; charset=iso-8859-1 From: Anil Madhavapeddy X-Priority: 3 (Normal) In-Reply-To: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> Date: Mon, 22 Jul 2013 23:32:43 +0100 Cc: caml-list@inria.fr, godi-list@ocaml-programming.de Content-Transfer-Encoding: quoted-printable Message-Id: <9682B571-11D0-4B1D-A8A4-6074E98C7519@recoil.org> References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> To: "Gerd Stolpmann" 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 22 Jul 2013, at 22:21, "Gerd Stolpmann" wrote: > There is also another point that was driving me mad in the past weeks, > namely missing respect from the OPAM guys. Given the fact that OPAM is > only a thin layer around ocamlfind (and guess who wrote it), and given the > fact that GODI was pioneering in many fields, I was expecting nicer > wordings, and less dumb campaigning ("we have 400 packages, and you only > 170"). OPAM is only harvesting what I seeded many years ago. So when you describe the virtues of GODI, you call it 'advocating', and when Fabrice describes the virtues of OPAM, it's 'dumb campaigning'. This is splendidly reminiscent of US politics! I don't find any of this source-based package management particularly novel. I've worked in the OpenBSD ports tree since the late 90s, and it's way ahead of either OPAM or GODI. I think where OPAM contributes most over any other source manager are the three points on the front page that I iterated earli= er in this thread: - multiple simultaneous compiler installations. - flexible package constraints. - a Git-friendly development workflow. The first is very useful, but PATH munging is certainly not novel. The Git workflow is heavily inspired by Homebrew. The constraint solver has seen a tremendous amount of work though: there's one version built into OPAM (tweaked relentlessly by Thomas with heuristics), and the external CUDF solvers from the Mancoosi project which are magically accurate (but not yet integrated by default until they are packaged on different repositories). Anyway, I'm not a GODI user, but I think you're doing a disservice to your loyal GODI users if you shut it down in a huff. There are features (notably Windows support) where it'll take OPAM some time to catch up. I think that the real reason that you're shutting it is nothing to do with "respect", but is good old-fashioned burnt-out: > Although there are still a lot of GODI users, it is unavoidable to shut G= ODI down due to lack of supporters, especially package developers. I was mo= re or less alone in the past months, and my time contingent will not allow = it to do the upgrade to OCaml 4.01 alone (when it is released). Instead of doing such a heroic solo job (which I'm not being funny about -- it really is a lot of work), why not spend the time to open up GODI as well? Most of the OPAM package descriptions come from *other people*. We just rev= iew them, give feedback if necessary, click the merge button and fix errors that creep through. And even that takes up a surprising amount of time... -anil=