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 B70287EEF8 for ; Sat, 18 Jul 2015 21:45:07 +0200 (CEST) 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.213.169; 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.213.169 as permitted sender) identity=mailfrom; client-ip=209.85.213.169; 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-ig0-f169.google.com) identity=helo; client-ip=209.85.213.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CuAQCaq6pVm6nVVdFbgzI1aQaDHbo+hXcCgR8HTAEBAQEBARIBAQEBAQYLCwkhLoQkAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgah3YBAxINqAyBLD4xiz+BbIJ5il8KGScNV4RXAQEBAQEFAQEBAQEXAQUOgRSKKoJNHoFQSweCaIFDBYcJhlWGdIRvhUqBaIFDRo9Wg0eCFxIjgRUXghkfgVU8MQGBAwSBQwEBAQ X-IPAS-Result: A0CuAQCaq6pVm6nVVdFbgzI1aQaDHbo+hXcCgR8HTAEBAQEBARIBAQEBAQYLCwkhLoQkAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgah3YBAxINqAyBLD4xiz+BbIJ5il8KGScNV4RXAQEBAQEFAQEBAQEXAQUOgRSKKoJNHoFQSweCaIFDBYcJhlWGdIRvhUqBaIFDRo9Wg0eCFxIjgRUXghkfgVU8MQGBAwSBQwEBAQ X-IronPort-AV: E=Sophos;i="5.15,499,1432591200"; d="scan'208";a="170757302" Received: from mail-ig0-f169.google.com ([209.85.213.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Jul 2015 21:45:07 +0200 Received: by igbpg9 with SMTP id pg9so15471525igb.0 for ; Sat, 18 Jul 2015 12:45:05 -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 :cc:content-type; bh=cRtcWKrxGbuZ7hW4KMTrc3GcCYC4gKdbl6W7zy+qrww=; b=iBAZPerjwotVXjPlcswuk2B9OZWHts0bjCV+d/eRkocVV4s+s28hpESDeYGCiWQJji HThISZQIkvfGOpBQj6NZJzA/hWC5UpvW0rbQltuIZo8EZPBy2m6b2DFclZcfFt+imAzv +TSwrIui+Jq/eaGAFQBQReolAWVNdZkXkmNRvOdkNiFiD5Mo/keXesJhyyR/PGq4iV6P XBalqC5UzrTtAKfEqqCXHcV+P3mvjxSXL4/pyRwkpV5AFXJTNcfBHWsEZxk+O8F0PNE+ mDYMEYOWIsVX92E8cjYHSOgjTBHIUgPvI1xZdMW3M4vyh7bHCS1pL0SB3gZyLsHjYnS8 rBWA== X-Received: by 10.107.30.69 with SMTP id e66mr28606726ioe.76.1437248705668; Sat, 18 Jul 2015 12:45:05 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.68.132 with HTTP; Sat, 18 Jul 2015 12:44:26 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Sat, 18 Jul 2015 21:44:26 +0200 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OCamlJava opam packages troubles This looks like a problem with the dependency computation algorithm. If you have not installed an external CUDF solver such as aspcud (which does a better job than the internal solver of OPAM), it may solve such spurious dependency issues. https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html (Or use the remove server farm http://cudf-solvers.irill.org/index.html if you don't want to install an external solver and don't mind your install requests to be sent over the network) On Sat, Jul 18, 2015 at 9:36 PM, Kenneth Adam Miller wrote: > There are duplicate ocamlfind specific opam packages: > > opam search ocamlfind > ... > ocamlfind-ocj -- A library manager for OCaml > ocj-ocamlfind -- A library manager for OCaml > > > > In a second note, I have to install the library base-bytes. ocamlfind > 1.5.5-ocp is required by base-bytes, when a non-ocp install of ocamlfind was > working fine. ocamlfind 1.5.5-ocp blows up with the following errors: > > #=== ERROR while installing ocamlfind.1.5.5+ocp1 > ==============================# > # opam-version 1.2.0 > # os linux > # command make all > # path > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/build/ocamlfind.1.5.5+ocp1 > # compiler ocamljava-2.0-alpha3 > # exit-code 2 > # env-file > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/build/ocamlfind.1.5.5+ocp1/ocamlfind-12342-e7966f.env > # stdout-file > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/build/ocamlfind.1.5.5+ocp1/ocamlfind-12342-e7966f.out > # stderr-file > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/build/ocamlfind.1.5.5+ocp1/ocamlfind-12342-e7966f.err > ### stdout ### > # ...[truncated] > # ocaml_args.cmo frontend.cmo > # if [ "false" = "true" ]; then \ > # cp topfind.ml.in topfind.ml; \ > # else \ > # sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \ > # > topfind.ml ; \ > # fi > # ocamlc -I +compiler-libs -c topfind.mli > # ocamlc -I +compiler-libs -g -c topfind.ml > # make[1]: Leaving directory > `/home/kennethadammiller/.opam/ocamljava-2.0-alpha3/build/ocamlfind.1.5.5+ocp1/src/findlib' > ### stderr ### > # File "itest-aux/ppx.ml", line 1, characters 0-25: > # Error: Unbound value Toploop.preprocess_phrase > # Makefile:160: depend: No such file or directory > # File "topfind.ml", line 1: > # Error: The files > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/lib/ocaml/compiler-libs/toploop.cmi > # and > /home/kennethadammiller/.opam/ocamljava-2.0-alpha3/lib/ocaml/compiler-libs/parsetree.cmi > # make inconsistent assumptions over interface Warnings > # make[1]: *** [topfind.cmo] Error 2 > # make: *** [all] Error 2 > > > =-=- Error report > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > The following failed > - install ocamlfind.1.5.5+ocp1 > Due to the errors, the following have been cancelled > - install base-bytes.base