From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id CEB207EC41 for ; Sun, 21 Oct 2012 01:39:14 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of p.donadeo@gmail.com) identity=pra; client-ip=209.85.217.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of p.donadeo@gmail.com designates 209.85.217.182 as permitted sender) identity=mailfrom; client-ip=209.85.217.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f182.google.com) identity=helo; client-ip=209.85.217.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="postmaster@mail-lb0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCAKw1g1DRVdm2m2dsb2JhbABEhhS6cggjAQEBAQEICQsJFCeCIAEBAQMBEgIPHQEbHgMBCwYFCw8CJgICIgERAQUBHAYnDodPAQMJBp0HCQOLWU+CdoQRChknDVmIdQEFDIEUikSFWIESA5VxjlgWKYQT X-IronPort-AV: E=Sophos;i="4.80,622,1344204000"; d="scan'208";a="159773637" Received: from mail-lb0-f182.google.com ([209.85.217.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Oct 2012 01:39:13 +0200 Received: by mail-lb0-f182.google.com with SMTP id b5so1869212lbd.27 for ; Sat, 20 Oct 2012 16:39:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=lc7adm+1u7YVDLaD1DM4pVAqyk02P7+wsLwzXZhSz2k=; b=XlNKanuT4YQgPbM2EtkiVp2LdnVaXi0UBFWl5Ogpkv43f0sD85Kw3TWzZfqZAdMKoE 3qxEsVo9dTbfGwNVVutxYBZ4KFzA2TcEepGlOISpxux9izwj/eYUfDofQXS7sMPlP5+f nLkIXI/bX6kahmnWRhk6Qrmo093YKlg/sb8Afu3nFGN3IWEcbbKt3bv4sf6w/0NI+hgc WAy5lPC0A31+cUz9ck4luLQ8VFmzZRw6PIMcx3myIvydVfBwfSkW0cdwOeWUnRmcXw3m 3xFlFKZISYFq1d0WGi5sxQWrMYXr1uZ59eNSD6q8gft4++E6xBRgBiJgQmLbOYE0Mkok qJHw== Received: by 10.152.104.115 with SMTP id gd19mr4589289lab.13.1350776353032; Sat, 20 Oct 2012 16:39:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.112.116.166 with HTTP; Sat, 20 Oct 2012 16:38:32 -0700 (PDT) In-Reply-To: <20121020211042.GE5986@dark.recoil.org> References: <20121020211042.GE5986@dark.recoil.org> From: Paolo Donadeo Date: Sun, 21 Oct 2012 01:38:32 +0200 Message-ID: To: OCaml mailing list Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OCaml Labs Again, I want to stress that my message was not intended to be a superficial and uninformed critics to OPAM. [16 minutes later] I just watched Thomas's talk and I admit there are many very good ideas, OPAM is in my TODO list now :-) > There have been a number of (very > brave and good) pieces of this puzzle over the years (notably OASIS), but > OPAM aims to pull them all together into an integrated whole. This is a very high profile goal, I hoped OASIS was that "integrated whole" you are speaking about. My wish is to see a more connected and collaborative OCaml community, where the limitations of a "system" are solved by contribution, rather than writing another, possibly better, system. That's why I was scared by OPAM when I read Yaron's post. A question: can OPAM live in peace with odb.ml or GODI? In this moment my environment is built with GODI (for compiler and major libraries) and what is not present in GODI is installed with odb.ml, which installs everything in ~/.odb, no conflict with /opt/godi/... Can I say to OPAM to ignore a dependency, for example can I install an OPAM package which depends on Batteries, while Batteries installed with GODI? -- Paolo