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 4893E7FCCD for ; Wed, 13 Jul 2016 00:36:39 +0200 (CEST) IronPort-PHdr: 9a23:tM0+PBy/5ZUdff7XCy+O+j09IxM/srCxBDY+r6Qd0OoUIJqq85mqBkHD//Il1AaPBtSDrakVwLOG+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzQd+Z1pT//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+Gx4N46ylbp94m8sdBV+26I/V5HvRkC2EHOmZ91szusBTZSAKJri8dTnc+mAdVDE7C9h6sGt/6uy7+/vdm1TOBdZn9RLUwHDCj9LtDSRnyiS5BOSRvo0/Njcklo6tRuhOso1REyI7ZeoyPfK5xd6nHfN4eA3FKXstLWjZpDYa1bo9JBO0Ea7UL57LhrkcD+EPtTTKnA/nin2MZiw== 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-io0-f182.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.223.182; 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.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; 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-io0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BeAAAocIVXh7bfVdFchBR8BqdThX2LOIF5JoVyAoEvBzgUAQEBAQEBAQERAQEBCA0JCSEvgjIEA4IjAQEEARIRHQEbEgwDAQsGBQQHAwoNHQICIgERAQUBChIGARIIChCHcwEDDwgOo0SBMT4xizuBaoJaBYVAChknAwpSg0wBAQEBAQUBAQEBAQEZAgYQhhqETYRuglSCWgWGVAySO4FbhDSIRYFqToQLiGuOVRIegQ8PD4I/EQuBaCAyAYkkAQEB X-IPAS-Result: A0BeAAAocIVXh7bfVdFchBR8BqdThX2LOIF5JoVyAoEvBzgUAQEBAQEBAQERAQEBCA0JCSEvgjIEA4IjAQEEARIRHQEbEgwDAQsGBQQHAwoNHQICIgERAQUBChIGARIIChCHcwEDDwgOo0SBMT4xizuBaoJaBYVAChknAwpSg0wBAQEBAQUBAQEBAQEZAgYQhhqETYRuglSCWgWGVAySO4FbhDSIRYFqToQLiGuOVRIegQ8PD4I/EQuBaCAyAYkkAQEB X-IronPort-AV: E=Sophos;i="5.28,354,1464645600"; d="scan'208,217";a="226538559" Received: from mail-io0-f182.google.com ([209.85.223.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2016 00:36:10 +0200 Received: by mail-io0-f182.google.com with SMTP id q83so30459062iod.1 for ; Tue, 12 Jul 2016 15:36:10 -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=ziuhseF0ry5fwEogpWkm2BeUxDDi0oKsAhgWDw2qj5c=; b=blC8YX7m/X1sh1myhtcuKx7HEN/ZAKx7pIV/CZYJ1Kw5Bx18uKAhgK3pkcQmW8C6EC Yp9MXV37UdA61L1LRn+hCMsryxnNgQbQH4POT/WvEvbcn6/vgLavBI+VXBaQfCLuvpOi lUy5bFfypvH0kJYq4GLUy/bnPSooNbVcGVc7LGD+6dqTjpKAmjs8OKUZGuqm+wva/1SQ X+lxxMGI2DvcHnyym0AAIuWWYno0+zQks7ehX3Ga97CNzF9h1XKj61rYJl3BZ1Mby516 okFr7PFlq0x030x3bdzdgdKnu/Yii3c3bbFMDDJCz2Py5dMjZwoJNSUeiJ2WZSzUs2QS NimA== 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=ziuhseF0ry5fwEogpWkm2BeUxDDi0oKsAhgWDw2qj5c=; b=CRdUIJgt/ZnHpPiLz8Qj5ClYMGpGahns+yRMHmEu31TPybqHkmwUtlFIArRd8DboCC 7Rc7TzeS2yUlx1exnI7rNPq/caxOLYWdlisWPkuTVsmwXPlpn6g02yl7x/G0A0G4cQOg wBWYZuj3KAJuGL25VtIzQEbhH0SpvoDKnqSklE7UCG2Do9vD6C46evp5y0DkTIqG6Uus 7mpXCiLpe8OzCN13N/UGkRUqlwYa/tw6SxnFm+kUIqHBX23X9I8KqCcDHPD4TEQPT5Gj g8+GJg3vvHbSwAKusrpbU0EJmYrVDlQIASXpQHH42C+4Nkv6S9ywQ+GdVVRR8uqK3Xre DhTA== X-Gm-Message-State: ALyK8tKwgfkcD01e0AntT6caGwJkd0GXktCEC4kUyKIKh71hLtBnL4a/PeVelqgvcCPcxqFUKNBbZgwonrFLPw== X-Received: by 10.107.26.137 with SMTP id a131mr5495982ioa.30.1468362968834; Tue, 12 Jul 2016 15:36:08 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.68.130 with HTTP; Tue, 12 Jul 2016 15:35:29 -0700 (PDT) In-Reply-To: <20160712212250.16420.07053563@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> <20160712212250.16420.07053563@matica.foolinux.mooo.com> From: Gabriel Scherer Date: Tue, 12 Jul 2016 18:35:29 -0400 Message-ID: To: Ian Zimmerman , caml users Content-Type: multipart/alternative; boundary=001a113fd53e28aaa1053777e5f1 Subject: Re: [Caml-list] About contributions to the Standard Library --001a113fd53e28aaa1053777e5f1 Content-Type: text/plain; charset=UTF-8 Note that opam in theory supports other solvers as listed at https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html#Yestherearedifferentversionsoftheuserpreferencelanguage for example "packup" also gives good results and may be easier to build. In practice, however, I think that most opam users choose aspcud (maybe simply because the documentation recommends it) and I would not be surprised if opam lost compatibility with other solvers at some point, for example by making ascpud-specific assumption on the solver preference language. But more people using other solvers can only improve the problem -- and it may work already. On Tue, Jul 12, 2016 at 5:26 PM, Ian Zimmerman wrote: > On 2016-07-12 15:01 -0400, Gabriel Scherer wrote: > > > > 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. > > > Did you consider packaging aspcud for gentoo? Are there gentoo-specific > > issues with that route? > > An aspcud package exists - that is not the problem. The problem is its > horribly long and tangled list of dependencies. Which, unlike most > distros, includes build-only dependencies, of course. And which is > almost guaranteed to conflict with some other package you need for an > unrelated purpose. > > -- > 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 > --001a113fd53e28aaa1053777e5f1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
for exam= ple "packup" also gives good results and may be easier to build.<= br>
In practice, however, I think that most opam users choose aspc= ud (maybe simply because the documentation recommends it) and I would not b= e surprised if opam lost compatibility with other solvers at some point, fo= r example by making ascpud-specific assumption on the solver preference lan= guage. But more people using other solvers can only improve the problem -- = and it may work already.

On Tue, Jul 12, 2016 at 5:26 PM, Ian Zimmerman <itz@buug.org= > wrote:
O= n 2016-07-12 15:01 -0400, Gabriel Scherer wrote:

> > 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.

> Did you consider packaging aspcud for gentoo? = Are there gentoo-specific
> issues with that route?

An aspcud package exists - that is not the problem.=C2=A0 The proble= m is its
horribly long and tangled list of dependencies.=C2=A0 Which, unlike most
distros, includes build-only dependencies, of course.=C2=A0 And which is
almost guaranteed to conflict with some other package you need for an
unrelated purpose.

--
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

--001a113fd53e28aaa1053777e5f1--