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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 53E3E7FCCD for ; Tue, 12 Jul 2016 21:02:25 +0200 (CEST) IronPort-PHdr: 9a23:zRayghRyfb7cLjTSsrMI6UhQK9psv+yvbD5Q0YIujvd0So/mwa65ZBaN2/xhgRfzUJnB7Loc0qyN4vimAjxLvczJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bpq9aPOU1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88Qa6tVYXK7mU6M9RL1eRHR6YiFmrPHs4DjKS0O9534ZX38TmxwAVwnZ/jnwQ4r+9Czgubw5kCKTOMm+UKs5Qy/qu6xiTRutjCYcKxY49nvWg4p+lvQIjgimoklQyoTOYYyRfMF1fq7HcMlSEWVIVNxQWigHGYi8YpECFcIOOO9Zq8/2oF5Y/kj2PhWlGO66kmwAvXTxx6Bvj7Us Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f42.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.42 as permitted sender) identity=mailfrom; client-ip=209.85.214.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f42.google.com) identity=helo; client-ip=209.85.214.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DkAACWPYVXhyrWVdFbhBR8BqdOhX2GNIZ9IoV2AoEuBzsRAQEBAQEBAQERAQEBCA0JCSEvgjIEA4IjAQEEARIRHQEbEgwDAQsGBQQHAwoNHQICIgERAQUBChIGARISEIdzAQMPCA6idIExPjGLO4FqgloFhU0KGScDClKDTAEBAQEBBQEBAQEBARkCBhCGGoRNhG6CVIJaBYZUDJI7gVuENIhFgWpOhAuIa4Zbh3oSHoEPDyWCKRELgWggMoklAQEB X-IPAS-Result: A0DkAACWPYVXhyrWVdFbhBR8BqdOhX2GNIZ9IoV2AoEuBzsRAQEBAQEBAQERAQEBCA0JCSEvgjIEA4IjAQEEARIRHQEbEgwDAQsGBQQHAwoNHQICIgERAQUBChIGARISEIdzAQMPCA6idIExPjGLO4FqgloFhU0KGScDClKDTAEBAQEBBQEBAQEBARkCBhCGGoRNhG6CVIJaBYZUDJI7gVuENIhFgWpOhAuIa4Zbh3oSHoEPDyWCKRELgWggMoklAQEB X-IronPort-AV: E=Sophos;i="5.28,352,1464645600"; d="scan'208,217";a="226524875" Received: from mail-it0-f42.google.com ([209.85.214.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Jul 2016 21:02:24 +0200 Received: by mail-it0-f42.google.com with SMTP id f6so1559295ith.1 for ; Tue, 12 Jul 2016 12:02:24 -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; bh=Ur7BfI62eRnqyRkGVVWy6zCMZ0SMxia4skrvkZX0SIA=; b=rpj314JWrq9RAGNqAplHoPDj2Us4nI8d68Z+wki0GvxCSueBbLXVdFy4vTIkCVDE7h I7p492vki941cKWYgMVqRriB24eHGe6nRFEv6CGJf031UQQR40nghVW4MRpvxd9sozAo 1hhkvKVtebSR5q4KOygFaoUt/NlJ5DKsnm1Oz9tS8mVVRSIn2zS7vTPocx8I/YBNO6CN SzbagQRMAo4/NKGHBovRVmY6XheB6RAelOqgR/yd3CVt5jVHaew58P+hH6a+16BzCubU XKsIKQd41kViqcGwQKO655IGCmy1BH5sBPocGNgyJHZbwTfW1V0mX8Dj5J7hctcXIVqJ pM1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=Ur7BfI62eRnqyRkGVVWy6zCMZ0SMxia4skrvkZX0SIA=; b=Xespbm2LwBPW+Pq+CoirQQh0P7188yOqnZxHCSYElQnyLaYAfYh4JM6j6MRB72iGkQ 6O1kjgbtIfKAZe+Wp1b8j+zrv1kdZUUdtYwiVSwQ82tyOraToiK9QtJ5Swhe9VgwkuZN W5Z3YDA3sNQRGdC3lAw1jyoIh2PRarrxoiPN4Amk7/tPiJ7TpQDUWEs62AFZ4hYE89IQ C19j+Ps6Dr6YycOB69kBsiRyIcrMtiem7SN9/FY46369pbU19GElQ0SfuIdEk0FCAl9M vlIm25V0/Tvtw4OCCait2JQYUOe2kUb1DERxn1P+BTk5hiHVJ6rPdRRZwy2Q3E9YXS7u TU3Q== X-Gm-Message-State: ALyK8tLP+HrFb6E4GpL46T2WgH+McJLysWwwa0zTPQ3Lwl3//Bx0lgaatg+mgx2s+Zds+Q0LCaB8yBhsyVJm8g== X-Received: by 10.36.219.214 with SMTP id c205mr17203315itg.21.1468350142990; Tue, 12 Jul 2016 12:02:22 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.68.130 with HTTP; Tue, 12 Jul 2016 12:01:43 -0700 (PDT) In-Reply-To: <20160712182905.11322.2BBFF3E5@matica.foolinux.mooo.com> References: <5E818FB5-6908-4E29-838E-C6A2836F60CE@inria.fr> <7BDA5C9D56314AE6A0D9E07226862399@erratique.ch> <3004f713-9b54-b221-16c3-f4302abc1a44@lexifi.com> <105BC114A91747C4A583F92DB6AD6BA8@erratique.ch> <20160711085535.GA5328@frosties> <20160712182905.11322.2BBFF3E5@matica.foolinux.mooo.com> From: Gabriel Scherer Date: Tue, 12 Jul 2016 15:01:43 -0400 Message-ID: To: Ian Zimmerman , caml users Content-Type: multipart/alternative; boundary=94eb2c05f4e2add398053774e84e Subject: Re: [Caml-list] About contributions to the Standard Library --94eb2c05f4e2add398053774e84e Content-Type: text/plain; charset=UTF-8 Did you consider packaging aspcud for gentoo? Are there gentoo-specific issues with that route? On Tue, Jul 12, 2016 at 2:32 PM, Ian Zimmerman wrote: > On 2016-07-11 10:55 +0200, Goswin von Brederlow wrote: > > > But then again there is opam. If you can't update the system but need > > newer ocaml it's easy enough to build it locally. Half the time you > > need opam just because the distribution doesn't even have everything > > you use packaged. > > OTOH installing opam itself can be difficult because of its > dependencies, mostly aspcud. > > I just switched to gentoo, and there it is pretty much impossible unless > one's content with the internal solver. > > -- > Please *no* private copies of mailing list or newsgroup messages. > Why does the arrow on Hillary signs point to the right? > > -- > 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 > --94eb2c05f4e2add398053774e84e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Did you consider packaging aspcud for gentoo? Are there ge= ntoo-specific issues with that route?
<= br>
On Tue, Jul 12, 2016 at 2:32 PM, Ian Zimmerma= n <i= tz@buug.org> wrote:
On 2016-07-11 10:55 +0200, Goswin von Brederlow wrote:

> But then again there is opam. If you can't update the system but n= eed
> newer ocaml it's easy enough to build it locally. Half the time yo= u
> need opam just because the distribution doesn't even have everythi= ng
> you use packaged.

OTOH installing opam itself can be difficult because of its
dependencies, mostly aspcud.

I just switched to gentoo, and there it is pretty much impossible unless
one's content with the internal solver.

--
Please *no* private copies of mailing list or newsgroup messages.
Why does the arrow on Hillary signs point to the right?

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

--94eb2c05f4e2add398053774e84e--