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 DADE87EE34 for ; Mon, 28 Mar 2016 15:14:04 +0200 (CEST) IronPort-PHdr: 9a23:/sj9uBCWBVWmMHcBAqudUyQJP3N1i/DPJgcQr6AfoPdwSP7zp8bcNUDSrc9gkEXOFd2CrakU26yM7+u+BSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbrusMOPKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ7djgTYVQaE+lcbV2wXlFIIX1mEvxT7RYzwtCSyis011iiXOcG+DetsGGfqwb1sTUrIhSMCKiJx2nvejMB0xPZbrRakugA5yZTdZo2RHPV7buXbcM9MFjkJZdpYSyEUWtD0VIAIFedUeLwBog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.19 as permitted sender) identity=mailfrom; client-ip=212.227.15.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; 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@mout.gmx.net) identity=helo; client-ip=212.227.15.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AZCQBhLflWkxMP49RbhAFxDIgukQuPHIFQkFuBcCOFagIoeDoSAQEBAQEBAQEQAQEBAQcNCQkhL4ItggwJAQEEIw8BBTYKARALGAICBQQSCwICCQMCAQIBMxITBgIBAQ6FYIIfAQMUAgqjd4tnilYBSgOEeAEBAQEBBQEBAQEBARp8hSKERII+gXyDAhCCRgWGIgyBMIZSPohzgVKEH4pIhwSFVI8LJwOCOxEIgWhNAYhVAQEF X-IPAS-Result: A0AZCQBhLflWkxMP49RbhAFxDIgukQuPHIFQkFuBcCOFagIoeDoSAQEBAQEBAQEQAQEBAQcNCQkhL4ItggwJAQEEIw8BBTYKARALGAICBQQSCwICCQMCAQIBMxITBgIBAQ6FYIIfAQMUAgqjd4tnilYBSgOEeAEBAQEBBQEBAQEBARp8hSKERII+gXyDAhCCRgWGIgyBMIZSPohzgVKEH4pIhwSFVI8LJwOCOxEIgWhNAYhVAQEF X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208";a="210667208" Received: from mout.gmx.net ([212.227.15.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2016 15:14:03 +0200 Received: from [192.168.1.68] ([187.207.111.122]) by mail.gmx.com (mrgmx002) with ESMTPSA (Nemesis) id 0M0gww-1ZtNPI3kbu-00usaw for ; Mon, 28 Mar 2016 15:14:03 +0200 References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> Cc: Caml List From: Helmut Brandl Message-ID: <56F92E18.9000401@gmx.net> Date: Mon, 28 Mar 2016 07:14:00 -0600 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:CL8r0gjb9/oJsM81OvCsqCux05BXX+IntrxT7DXmydc3gcCP7ZF chiiGBV+GCRoSuRQrZLLf4rxzC0bkNBX5a6ho6M4/U5sQ2NaqIAwfXDMLv9bwJNnSmV5q2A dQq+qwqlaVwky5QoB/evucCChfTlz09X+xURouZYTNFDYw11pQcy9GNwXTKVPWHr03NLmhx 7O/fFnUIEfeJ3x7GghqQg== X-UI-Out-Filterresults: notjunk:1;V01:K0:RUZonO4riRY=:c1lykOjB+UNr8bEmqGPQ5J V0tTuwBioEmFD32nToi93UJEZgq1xeJOSebjo54jIbsRZPtg/pxVpanNrv1S8YBOV25AKOcWn i76LqIV3y+lWvOAxOTnWUQ85QCEcN6bw8ACsw0rxeKE/3Hl5Khxz2DsV/6duTa/5s0n6UtZD4 7HXsjrRr48Xq8yxBnpLyCzKTcIN/UTjiu1PLipWftxS3YnUFXkCPkebDMAd0TBkdL1pVl9I6L MnEOXq1O43v3nE9Z5j3iXjI1GxokP8/+rd86juSUYxMTBR7dIFoi4tdwCR++saj3kVUmWG84q A4ekVejag9TelxmBbBKjDJa+AgVD2SOc29AqGxYKlXnWu/pyHpe/0zdnqyjQ2B5sArAvMfKjw BtUYUSWeF8hkkAA/KQfqicd76VGNKM2690PAOspUZP1/f0UZtUV/vQDvktrvwEawcSYU4dDB1 DJKVgNp3GVBNwRZL4Nhrchecwz3y1tAkIlsPeigh+fIID9eFy60AOB3RkviHXG8TLaLeb8kPg snbfK0n8ksnFIT8L8tnXRcoP73FNxS3VvnxcwG/nhTKVNDKKhxDKfgGQzIagoCgbKnm9MdrbC fAdHIvcSXEOX7JIYgmZTGuXLHrLUy7DY1kRQ0Z7ctubI7YvhLRwl0I7T6c9cMRyqx+Qrn4jOk pi6tm1zHONl33g8oK3vdhicfHl/Omt+7KSm0GAGYp9rzyPn0ZEiPqk3xPCk9N1IXeTpRR1UXa o7X/FBmU9I/PVz8UEuFL8mKtC4Eu5T9nmCYqlkSkqtwpHizufSlvkiInaf5EY/KgtkyPR/6hU vMUZ/HVKJJcejAtV+vWjBG5EhGH3gqf5BuToaKjRSnUtP434Irj4fDjlDxpMpH6VBu9M02e7N fT0oA6LsvSmzwu2fW9waWPdRWGc0F3kE5a/9KAe7KT+1NRxX6JGPmhvj/vOqGe3noWT6PknIf C7Qk/BC384YvpiHddNMpWE1I0k1VeIfs= Subject: Re: [Caml-list] Problems installing with opam Isn't there another way than patching. I just want to install "js_of_ocaml" 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 should 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" using 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/packages >>> >>> 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: >>>> ∗ install camlp4 4.02.0-1modular-implicits >>>> >>>> =-=- Gathering sources >>>> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= >>>> [camlp4] Archive in cache >>>> >>>> =-=- Processing actions >>>> -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= >>>> [ERROR] The compilation of camlp4 failed at "make all". >>>> Processing 1/1: [camlp4: rm] >>>> #=== ERROR while installing camlp4.4.02.0-1modular-implicits >>>> ==================# >>>> # 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/camlp4-31525-d2c37b.env >>>> # stdout-file >>>> >>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/camlp4-31525-d2c37b.out >>>> # stderr-file >>>> >>>> /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/camlp4-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 >>>> >>>> >>>> >>>> =-=- Error report >>>> -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= >>>> The following actions failed >>>> ∗ 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