From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E5B8C7EE35 for ; Mon, 2 May 2016 18:18:39 +0200 (CEST) IronPort-PHdr: 9a23:lyI9qRQjXuLXUazBVumbhRXO79psv+yvbD5Q0YIujvd0So/mwa64YhaN2/xhgRfzUJnB7Loc0qyN4/CmCDVLsMnJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviq9uCOk4Z23KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGZPCf6UjTb1eA3EPaDBqoZW18D3CSwyD6zNcCT1O00kAPw+Q5xj/WtL1szDmnut7wiiTe8PsHp4uXjH3zq5tAC3pjSIKLTsw9imDi9BipKhGvR3noAZwld2HKLqJPeZzK/qONegRQnBMC50JDyE= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@buug.org; spf=None smtp.mailfrom=itz@buug.org; spf=None smtp.helo=postmaster@ahiker.mooo.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of itz@buug.org) identity=pra; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="itz@buug.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of itz@buug.org) identity=mailfrom; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="itz@buug.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ahiker.mooo.com) identity=helo; client-ip=173.255.215.69; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="itz@buug.org"; x-sender="postmaster@ahiker.mooo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CUbwAafSdX/0XX/61dgzhTfaUBQAIBAQgHCwEEAYEPkwIBDYF2HockOBQBAQEBAQEBAWQnQQwBgWSCUDSBAD2ISQUJmjGgYxmFQIJGh1eCX4IrBY5LiUmFfIgSCoFnToN/iF2GJIkNHgEBQoQLHDABhx6BaAEBAQ X-IPAS-Result: A0CUbwAafSdX/0XX/61dgzhTfaUBQAIBAQgHCwEEAYEPkwIBDYF2HockOBQBAQEBAQEBAWQnQQwBgWSCUDSBAD2ISQUJmjGgYxmFQIJGh1eCX4IrBY5LiUmFfIgSCoFnToN/iF2GJIkNHgEBQoQLHDABhx6BaAEBAQ X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.24,568,1454972400"; d="scan'208";a="176470575" Received: from ahiker.mooo.com ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 May 2016 18:18:36 +0200 Received: from localhost ([127.0.0.1] helo=moyka) by ahiker.mooo.com with smtp (Exim 4.84_2) (envelope-from ) id 1axGYJ-0007T0-3E for caml-list@inria.fr; Mon, 02 May 2016 09:18:31 -0700 Date: Mon, 2 May 2016 09:18:31 -0700 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20160502160110.4595.2E20167E@moyka.sferitz.org> Mail-Followup-To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.24 (2015-08-30) Subject: [Caml-list] opam external solver setting I am trying to get started with opam on a fresh gentoo host. On that source-based packaging system, untangling the mess of dependencies dragged in by aspcud is just about impossible, so I thought I'd follow the instructions at [1] to hook the java based external solver. I downloaded & installed the jar file and I added this line to ~/.opam/config, as [1] suggests (line broken here for SMTP conformance, but it is a single line in the file): solver: "java -jar /usr/local/share/java/org/eclipse/equinox/p2/cudf-1.14.jar -obj %{criteria} %{input} %{output}" But now, "opam update" gives me [WARNING] Command "java -jar /usr/local/share/java/org/eclipse/equinox/p2/cudf-1.14.jar -obj %{criteria} %{input} %{output}" contains 1 space and then [ERROR] External solver failure, please fix your installation and check /home/itz/.opam/config and variable $OPAMEXTERNALSOLVER. I probably misunderstand the format of the config file, but I can''t find any doc for it except what's at [1]. I don't want to set this with the environment variable because that would make maintenance of shell startup scripts harder. [1] http://opam.ocaml.org/doc/install.html -- Please *no* private copies of mailing list or newsgroup messages. Rule 420: All persons more than eight miles high to leave the court.