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 EF4077EE34 for ; Mon, 28 Mar 2016 15:41:07 +0200 (CEST) IronPort-PHdr: 9a23:WVskhx2Imn2gRFVWsmDT+DRfVm0co7zxezQtwd8ZsegfLPad9pjvdHbS+e9qxAeQG96Lu7Qe16GI7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ7rnL7us7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjMD39DwrRTIUSeI43IdVC1WzksJUED560TaU5P0rzeynPB03iWedZn2QLQxRCjk5b1iThPsoCgCJ3g//X2B2eJqi6cOgxuirhBii9rXaYKcOOc4fqrTdNUTQ2NpUcNYVigHCYS5OdhcR9EdNPpV+tGu72AFqgGzUEzxXe4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.213.47 as permitted sender) identity=mailfrom; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@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-vk0-f47.google.com) identity=helo; client-ip=209.85.213.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-vk0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CdBABUM/lWiy/VVdFbg0w1fQaZM48cgVCFWYp0AQ2BcCOFagKBGQc4FAEBAQEBAQEBEAEBAQgLCwkfMYItghUBAQQSER0BGxILAQMMBgULDQICCR0CAiIBEQEFAQoSBhMIChCHbwEDEg6iG4ExPjGLNoFqgleGFQoZJwMKUYN1AQEBAQEFAQEBAQEVAQUKBW2JZoI+gXyDAoJWBYYiDIEwhk5CiHOCE4NeiBWCM3aLYo1NER6BDx4BAYI4DREIgU43MAGIVQEBAQ X-IPAS-Result: A0CdBABUM/lWiy/VVdFbg0w1fQaZM48cgVCFWYp0AQ2BcCOFagKBGQc4FAEBAQEBAQEBEAEBAQgLCwkfMYItghUBAQQSER0BGxILAQMMBgULDQICCR0CAiIBEQEFAQoSBhMIChCHbwEDEg6iG4ExPjGLNoFqgleGFQoZJwMKUYN1AQEBAQEFAQEBAQEVAQUKBW2JZoI+gXyDAoJWBYYiDIEwhk5CiHOCE4NeiBWCM3aLYo1NER6BDx4BAYI4DREIgU43MAGIVQEBAQ X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208,223";a="210670500" Received: from mail-vk0-f47.google.com ([209.85.213.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Mar 2016 15:41:06 +0200 Received: by mail-vk0-f47.google.com with SMTP id z68so155003634vkg.3 for ; Mon, 28 Mar 2016 06:41:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-transfer-encoding; bh=mZuHkqBiVhRDOgt+GfqmzkDJ36v6LeTSn8hHxfHRnnA=; b=keef2FSkhGkSXD+QjEogiBV70d/+Otdxb6Wikil3XevMUfWHoB07R3jNYsranrgd46 nMqGRndbV8nISN5VzA1Go/igkL+hLDgPytxKoHUhQCzZQmQNOjcPfEA1s9DAbLeGRLzK vc25XvZd84QWF/Vn/2peNsY2kZUV3qScjev9JrD3F+SLnhC0x1GGDbaK4jGmBwTO30a4 w9xKUyuiPbgXfhbJLVU4m1Y8kzMmO4ppz5RV2dMheAktirDDfyXl3CTFM5M5spvrSpg+ zp9fvi9ujhf6AklqAstlMcRJrJwGQf81w48HBOJwKtovjpwDBXAON1NkeiPNdkLQVBbx gLmg== 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:date :message-id:subject:from:to:cc:content-transfer-encoding; bh=mZuHkqBiVhRDOgt+GfqmzkDJ36v6LeTSn8hHxfHRnnA=; b=YCNW/ocah46LdEfJQ7NqkInpRRVBi/1G+m/pUK8B6dPmIBoM9fLi5nt+K8WY3W0IDS NN+/OJ10Z8y+uRiwwsVcoAoomwR+QDXVo+IijB11Woga5Cs4bqbxIRWPWl0LsCFoV7XE tnC9GQ3zkeihZLdBVbl4wf/KL/9vkDrvENN29jHJaTMEhxipkQ7CgnwZL1WTpp5AxJAU Kb0X4MtnEp5liJCpet0kJ5tzOfaWfEfjXR8sODmBnAvU+49nAPTnx+JkTxH6YXjWwNBG DdiKoRPgTJfbRpns67zvk9fBPVmGmO7m8k2ghWWJkx3srLmkXaotdvnw/TA2WADx/UAH Qd6Q== X-Gm-Message-State: AD7BkJIiUcIC+FZN80DsQkHwfdFOAnGNzbQVqWU9ZNvVcUbKcA5bYPSNiCf/5fu0dCEEKuZKOf4tSoTSsTZVUw== MIME-Version: 1.0 X-Received: by 10.176.1.147 with SMTP id 19mr14976798ual.73.1459172447516; Mon, 28 Mar 2016 06:40:47 -0700 (PDT) Received: by 10.31.218.133 with HTTP; Mon, 28 Mar 2016 06:40:47 -0700 (PDT) In-Reply-To: <56F92E18.9000401@gmx.net> References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> <56F92E18.9000401@gmx.net> Date: Mon, 28 Mar 2016 17:40:47 +0400 Message-ID: From: Kakadu To: Helmut Brandl Cc: Caml List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Problems installing with opam =46rom your camlp4 log I see that you re installing camlp4 patched for implicits using 4.02.3 compiler. You should not do that. You need to investigate why opam decides to install this version of camlp4. It seems, that camlp4.4.02.0-1modular-implicits is not something that you want to get. 2016-03-28 17:14 GMT+04:00 Helmut Brandl : > Isn't there another way than patching. I just want to install "js_of_ocam= l" > and use it. However "js_of_ocam" requires "lwt" which requires "camlp4". = All > these packages are oficial packages in the opam repository. I.e. they sho= uld > be installable with opam without patching. > > If I understand you correctly you are saying that the opam repository is > inconsistent and nobody can install "camlp4", "lwt" and "js_of_ocaml" usi= ng > some 4.x.x compiler of "ocaml". Why not fix the problem? > > Or did I get something wrong? > > Regards > Helmut > > > On 03/28/2016 06:51 AM, Kakadu wrote: >> >> I'm saying that you can't install >> 1) camlp4 4.02.0-1modular-implicits using normal compiler >> 2) camlp4 4.02.0-1 using ocaml-with-modular-implicits-compiler >> >> 2016-03-28 16:44 GMT+04:00 Helmut Brandl : >>> >>> Are you saying that I cannot install "camlp4" with opam? >>> >>> >>> On 03/28/2016 06:37 AM, Kakadu wrote: >>>> >>>> There are some changes in compiler which supports modular implicits. I >>>> have patched some packages. Camlp4 too, AFAIR >>>> >>>> https://github.com/Ostapers/Ostapers.github.io/tree/master/opam/packag= es >>>> >>>> Happy hacking, >>>> >>>> 2016-03-28 16:32 GMT+04:00 Helmut Brandl : >>>>> >>>>> The program "pkg-config" was not on my system. Installing it, I could >>>>> at >>>>> least continue. However now I get problems installing "camlp4". The >>>>> compilation of "camlp4" seems to fail. >>>>> >>>>> opam install camlp4 >>>>> The following actions will be performed: >>>>> =E2=88=97 install camlp4 4.02.0-1modular-implicits >>>>> >>>>> =3D-=3D- Gathering sources >>>>> =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D >>>>> [camlp4] Archive in cache >>>>> >>>>> =3D-=3D- Processing actions >>>>> -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D >>>>> [ERROR] The compilation of camlp4 failed at "make all". >>>>> Processing 1/1: [camlp4: rm] >>>>> #=3D=3D=3D ERROR while installing camlp4.4.02.0-1modular-implicits >>>>> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D# >>>>> # opam-version 1.2.2 >>>>> # os linux >>>>> # command make all >>>>> # path >>>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits >>>>> # compiler 4.02.3 >>>>> # exit-code 2 >>>>> # env-file >>>>> >>>>> >>>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/caml= p4-31525-d2c37b.env >>>>> # stdout-file >>>>> >>>>> >>>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/caml= p4-31525-d2c37b.out >>>>> # stderr-file >>>>> >>>>> >>>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/caml= p4-31525-d2c37b.err >>>>> ### stdout ### >>>>> # [...] >>>>> # cp /home/helmut/.opam/4.02.3/lib/ocaml/compiler-libs/outcometree.cmi >>>>> camlp4/import/outcometree.cmi >>>>> # cp /home/helmut/.opam/4.02.3/lib/ocaml/compiler-libs/oprint.cmi >>>>> camlp4/import/oprint.cmi >>>>> # cp /home/helmut/.opam/4.02.3/lib/ocaml/compiler-libs/toploop.cmi >>>>> camlp4/import/toploop.cmi >>>>> # /home/helmut/.opam/4.02.3/bin/ocamlc.opt -c -g -w Z -I camlp4/import >>>>> -warn-error A-3 -I camlp4/config -I camlp4 -o >>>>> camlp4/config/Camlp4_config.cmi camlp4/config/Camlp4_config.mli >>>>> # /home/helmut/.opam/4.02.3/bin/ocamlc.opt -c -g -w a -I camlp4/import >>>>> -warn-error A-3 -I camlp4/config -I camlp4/boot -o >>>>> camlp4/boot/Camlp4.cmo >>>>> camlp4/boot/Camlp4.ml >>>>> # + /home/helmut/.opam/4.02.3/bin/ocamlc.opt -c -g -w a -I >>>>> camlp4/import >>>>> -warn-error A-3 -I camlp4/config -I camlp4/boot -o >>>>> camlp4/boot/Camlp4.cmo >>>>> camlp4/boot/Camlp4.ml >>>>> # File "camlp4/boot/Camlp4.ml", line 14607, characters 36-58: >>>>> # Error: Unbound type constructor Asttypes.implicit_flag >>>>> # Command exited with code 2. >>>>> # Makefile:11: recipe for target 'byte' failed >>>>> ### stderr ### >>>>> # + echo camlp4/Camlp4.cmo camlp4/Camlp4Top.cmo camlp4/camlp4prof.byte >>>>> camlp4/mkcamlp4.byte camlp4/camlp4.byte camlp4/camlp4fulllib.cma >>>>> camlp4/camlp4boot.byte camlp4/camlp4boot.cma camlp4/camlp4r.byte >>>>> camlp4/camlp4r.cma camlp4/camlp4rf.byte camlp4/camlp4rf.cma >>>>> camlp4/camlp4o.byte camlp4/camlp4o.cma camlp4/camlp4of.byte >>>>> camlp4/camlp4of.cma camlp4/camlp4oof.byte camlp4/camlp4oof.cma >>>>> camlp4/camlp4orf.byte camlp4/camlp4orf.cma >>>>> camlp4/Camlp4Parsers/Camlp4AstLoader.cmo >>>>> camlp4/Camlp4Parsers/Camlp4DebugParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4GrammarParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4ListComprehension.cmo >>>>> camlp4/Camlp4Parsers/Camlp4MacroParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlOriginalQuotationExpander.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlParserParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlReloadedParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlRevisedParserParser.cmo >>>>> camlp4/Camlp4Parsers/Camlp4OCamlRevisedQuotationExpander.cmo >>>>> camlp4/Camlp4Parsers/Camlp4QuotationCommon.cmo >>>>> camlp4/Camlp4Parsers/Camlp4QuotationExpander.cmo >>>>> camlp4/Camlp4Printers/Camlp4AstDumper.cmo >>>>> camlp4/Camlp4Printers/Camlp4AutoPrinter.cmo >>>>> camlp4/Camlp4Printers/Camlp4NullDumper.cmo >>>>> camlp4/Camlp4Printers/Camlp4OCamlAstDumper.cmo >>>>> camlp4/Camlp4Printers/Camlp4OCamlPrinter.cmo >>>>> camlp4/Camlp4Printers/Camlp4OCamlRevisedPrinter.cmo >>>>> camlp4/Camlp4Filters/Camlp4AstLifter.cmo >>>>> camlp4/Camlp4Filters/Camlp4ExceptionTracer.cmo >>>>> camlp4/Camlp4Filters/Camlp4FoldGenerator.cmo >>>>> camlp4/Camlp4Filters/Camlp4LocationStripper.cmo >>>>> camlp4/Camlp4Filters/Camlp4MapGenerator.cmo >>>>> camlp4/Camlp4Filters/Camlp4MetaGenerator.cmo >>>>> camlp4/Camlp4Filters/Camlp4Profiler.cmo >>>>> camlp4/Camlp4Filters/Camlp4TrashRemover.cmo >>>>> # make: *** [byte] Error 10 >>>>> >>>>> >>>>> >>>>> =3D-=3D- Error report >>>>> -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D >>>>> The following actions failed >>>>> =E2=88=97 install camlp4 4.02.0-1modular-implicits >>>>> No changes have been performed >>>>> >>>>> >>>>> >>>>> >>>>> On 03/27/2016 11:48 PM, Mohamed Iguernlala wrote: >>>>> >>>>> Hi, >>>>> >>>>> I guess "pkg-config" is not installed on your system. Can you confirm >>>>> that by just trying "pkg-config --help" in a terminal ? >>>>> >>>>> Regards, >>>>> Mohamed. >>>>> >>>>> >>> >>> -- >>> 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 > > > > -- > 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