From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 693507EE20
	for <caml-list@sympa.inria.fr>; Thu, 15 Nov 2012 15:22:18 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thelema314@gmail.com) identity=pra; client-ip=209.85.223.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  thelema314@gmail.com designates 209.85.223.182 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ie0-f182.google.com) identity=helo;
  client-ip=209.85.223.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="postmaster@mail-ie0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqcBALH5pFDRVd+2mGdsb2JhbABEhVa9awgjAQEBAQEICQ0HFCeCHgEBBTgIARseAwwGBQsNCSUPAhIRAQUBHBMIAQGHdAEDD54ZjDOCeIRtChknDVmIdQEFDIwlgwWDJwOIWo0ihWuIdz+ELw
X-IronPort-AV: E=Sophos;i="4.83,257,1352070000"; 
   d="scan'208";a="181685557"
Received: from mail-ie0-f182.google.com ([209.85.223.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Nov 2012 15:22:17 +0100
Received: by mail-ie0-f182.google.com with SMTP id k10so3935792iea.27
        for <caml-list@inria.fr>; Thu, 15 Nov 2012 06:22:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=2Nm/RH2I30eyzHhn1eHi9w5d5try/w7VZczuJPylp3Y=;
        b=E4CjmPq8zMTeBrM2ollUQ9/Mdu1kwVXisfnd3uO0ZkT5MDG6xDp7OBFpy35ZcX2z2Q
         9tovwG8Kkm4RpCjojig0vUUHy03FjM/ZMJIBZsRTYldRwhLnyHbfJieKw/7EYQUYzNmC
         ILmjPvM5JsPYdoF+Us6mp8KLnBArRQeyjfzXJidsxXiF4+7v0D5+JxW4bjH33csiUvNZ
         gpvkW4GmTkJq4DrNuC0QyVw6Arw96a2HxNqebaelhtwZBUO92iYoSB+X/TmFCMuMvUbZ
         aBWvD9ewSSKJZaiipo7X42S2AiiS4YCqxFrERK+cfX4aN9AJn6Ap9Hl06e46MzPezgv3
         AmHw==
Received: by 10.50.159.165 with SMTP id xd5mr955252igb.58.1352989337623;
        Thu, 15 Nov 2012 06:22:17 -0800 (PST)
Received: from [192.168.1.73] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10])
        by mx.google.com with ESMTPS id 10sm3723206ign.5.2012.11.15.06.22.16
        (version=SSLv3 cipher=OTHER);
        Thu, 15 Nov 2012 06:22:16 -0800 (PST)
Message-ID: <50A4FA99.60605@gmail.com>
Date: Thu, 15 Nov 2012 09:22:17 -0500
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:16.0) Gecko/20121026 Thunderbird/16.0.2
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAFrFfuH6wXPuj4YSJFLc4jRMH6GDiw9FHrBt1uNB98CxTDOhZw@mail.gmail.com>
In-Reply-To: <CAFrFfuH6wXPuj4YSJFLc4jRMH6GDiw9FHrBt1uNB98CxTDOhZw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] opam and system packages

On 11/15/2012 1:51 AM, Martin DeMello wrote:
> I run arch linux, and there are a lot of ocaml libraries in the 
> distro's package repository. Is there any way to make opam 
> interoperate with these?
>
> martin
The much simpler odb.ml does not keep its own list of installed 
packages, so will interact cleanly with existing installations. That 
said, it's not too difficult to just tell opam to install a new OCaml 
with new copies of all your current libraries.

E.