Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables)

Article View: fa.caml

Article #10

#10

From: Chet Murthy
Date: Thu, 30 May 2013 00:57

45 lines
5275 bytes

On Thursday, May 30, 2013 09:45:51 AM Francois Berenger wrote:
> By the way, is there some plan to support binary packages
> at some point in time with OPAM?
> 
> I don't mean OCamlPro distributing them but for an OPAM
> user to be able to create them locally.
> 
> That would speedup the process of installing software (given they
> have at least been compiled once).

This.

OK.  A little more.  OPAM is already a tremendous improvement.  But to
really make it possible to build -systems- in Ocaml, you have to be
able to distribute collections of programs, config, and libraries,
across multiple (admittedly identical) machines.  And distribute
updates to same.  OPAM is in some ways like BSD ports -- it works
great for maintaining single machines from source-code.

But what's needed is a way to maintain -many- machines, and to
distribute updates in a granular manner that be -managed- -- rolled
forward, rolled back, with full knowledge of which versions of which
packages are being installed.  And everything with -zero- version
skew.  So any nondeterminism happened at buiild-time -- by
deploy-time, all machines are getting identical files with identical
timestamps.

It's a tall order, b/c OPAM will need to figure out how to capture
enough of the environment (in order to check it on the target machine
where a binary is installed) to verify whether it's safe to install
that binary.  But boy would it be nice.

And as a bonus, we could wrapper opam in the debian apparatus (I
think) and get a really nice way to turn opam packages into debian
packages.

--chet--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Technical Details

Message-ID: <fa.r2XClcgBKcljkqbd4Zm2XARLoWs@ifi.uio.no>

Path: arc1-ca.pugleaf.net!fw11ni14728wic.0!nntp.google.com!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail

References:

<fa.ygUreM916SCi2HRnlvgczHSDQLY@ifi.uio.no> <fa.gO0Y01DO1JY/T9oq7JV92NZBbzQ@ifi.uio.no> <fa.v8lk9oKHC9E8J/FhBntU/1k37ls@ifi.uio.no>

Show Full Headers

Complete Article Headers

X-Google-Thread: ff861,943792163446c61a
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.206.107 with SMTP id ln11mr7279713wic.7.1369875467753;
        Wed, 29 May 2013 17:57:47 -0700 (PDT)
Path: arc1-ca.pugleaf.net!fw11ni14728wic.0!nntp.google.com!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Chet Murthy <murthy.chet@gmail.com>
Newsgroups: fa.caml
Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's
 variables)
Date: Thu, 30 May 2013 00:57:47 UTC
Organization: Internet mailing list
Lines: 45
Sender: caml-list-request@inria.fr
Message-ID: <fa.r2XClcgBKcljkqbd4Zm2XARLoWs@ifi.uio.no>
References: <fa.ygUreM916SCi2HRnlvgczHSDQLY@ifi.uio.no> <fa.gO0Y01DO1JY/T9oq7JV92NZBbzQ@ifi.uio.no> <fa.v8lk9oKHC9E8J/FhBntU/1k37ls@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1369875467 28419 129.240.7.9 (30 May 2013 00:57:47 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Thu, 30 May 2013 00:57:47 +0000 (UTC)
User-Agent: KMail/4.8.5 (Linux/3.2.0-38-generic-pae; KDE/4.8.5; i686; ; )
Cc: Francois Berenger <berenger@riken.jp>
To: caml-list@inria.fr
X-IronPort-AV: E=Sophos;i="4.87,767,1363129200"; 
   d="scan'208";a="19539615"
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AicCAMeiplHRVd+um2dsb2JhbABaiSO8FoEGFg4BAQEBAQYLCwkUKIIjAQEFOgYBGx0BAwwGBRgJFRAPARMRAQUBHIgTAQMPnBCMP4J9hGsKGScNWIgiAQUMjwcHFoNBA4kfikuTLD+EVQ
X-IPAS-Result: AicCAMeiplHRVd+um2dsb2JhbABaiSO8FoEGFg4BAQEBAQYLCwkUKIIjAQEFOgYBGx0BAwwGBRgJFRAPARMRAQUBHIgTAQMPnBCMP4J9hGsKGScNWIgiAQUMjwcHFoNBA4kfikuTLD+EVQ
X-IronPort-AV: E=Sophos;i="4.87,767,1363129200"; 
   d="scan'208";a="16133246"
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:to:cc:subject:date:message-id:user-agent:in-reply-to
         :references:mime-version:content-transfer-encoding:content-type;
        bh=6k+jffCtrqYYLJ9fWUBfKR6JSuRb5PMjn/uaSO+4QFI=;
        b=ZeZvlucY/tEiAt2rhIe+NL+ifmX+WiMFvqEndsP7CahJ6g1BH7RdQawn1/TfpiLBDq
         fBWIaUs3AgDbX9xSLd0JLSr8kolyyOiqZ8rb8YYyF9foSs1Ooesh964VNkdr60BTVfEN
         9Fd9FJgfKrSZjkAObIZVOqJNum8qRt3La8Vy1sn6MO4TR328aQGkJwhY9Tc4t/2d+aMs
         /ETMAYhXNSTXaX8r27SxVDhjdayAfyQmSsaCzkZtdidKASokZsMv2Znn6ioorzNl0tSQ
         3Yi8EVRvOfFle+grxhIZULD20X+1oEI2WYS47zCiFsdhyOLvV8iY9uw8o3soyXYAXhbl
         myXw==
X-Received: by 10.50.80.9 with SMTP id n9mr10405233igx.54.1369875458444;
        Wed, 29 May 2013 17:57:38 -0700 (PDT)
In-Reply-To: <51A6A13F.901@riken.jp>
X-Sequence: 6832
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Wed, 29 May 2013 17:57:33 -0700
Original-Message-Id: <1629005.lH05byJ9SH@groupon>
Original-References: <20130523235355.GI6510@siouxsie> <87r4gppk3k.fsf@gmail.com> <51A6A13F.901@riken.jp>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7Bit

Reply to Parent Message