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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 515767EE34 for ; Mon, 28 Mar 2016 16:13:19 +0200 (CEST) IronPort-PHdr: 9a23:YB1vIRHXp5hOV5r5PIs7I51GYnF86YWxBRYc798ds5kLTJ75rsqwAkXT6L1XgUPTWs2DsrQf27qQ6fyrBjZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6bop9aMOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4gyLeVhOC7WcwVWAfkxwAQ1SUrUKyYpCkkSL5v+ZgkH2ZNM7/Qa1yWT2s5qFiThbAhyIONjp/+2bS3J9elqVe9TKsoxli38b+eoiTOP42KqPQedYHWSxLRM9XWyhpDYasKY0CE7xSbq5js4Dhqg5W/lOFDg62Cbaql2ZF Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.15.19; receiver=mail3-smtp-sop.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: A0CRAQCyO/lWkxMP49RchAF9mTmQbJBNAQ2BcCOFagKBIDgUAQEBAQEBAQEQAQEBAQcNCQkhL4ItghQBAQEDARoJSwoBBQsJAhgJBBILAgIJAwIBAgEzEgYNBgIBAQ6HfwEDCgoCCpJTkTCLZ4pXAUoDhGIBAQEBBgEBAQEBG4YehESCPoR+glYFhiIMgTCGUj6Ic4FShB+Je02Df4MFhVSPCx4BAYJFEQiBaE0BAQEBiHYBAQE X-IPAS-Result: A0CRAQCyO/lWkxMP49RchAF9mTmQbJBNAQ2BcCOFagKBIDgUAQEBAQEBAQEQAQEBAQcNCQkhL4ItghQBAQEDARoJSwoBBQsJAhgJBBILAgIJAwIBAgEzEgYNBgIBAQ6HfwEDCgoCCpJTkTCLZ4pXAUoDhGIBAQEBBgEBAQEBG4YehESCPoR+glYFhiIMgTCGUj6Ic4FShB+Je02Df4MFhVSPCx4BAYJFEQiBaE0BAQEBiHYBAQE X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208,217";a="171257931" Received: from mout.gmx.net ([212.227.15.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2016 16:13:16 +0200 Received: from [192.168.1.68] ([187.207.111.122]) by mail.gmx.com (mrgmx002) with ESMTPSA (Nemesis) id 0Lbd9v-1a0iMj3QYV-00lE5r; Mon, 28 Mar 2016 16:13:15 +0200 To: Kakadu References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> <56F92E18.9000401@gmx.net> Cc: Caml List From: Helmut Brandl Message-ID: <56F93BF7.9090707@gmx.net> Date: Mon, 28 Mar 2016 08:13:11 -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: multipart/alternative; boundary="------------010602060006090407080602" X-Provags-ID: V03:K0:k2GlHyUrdXrRKL5nLFHD6SraJKKFh5c6N+aheG+K9QFebYcK9Mv oU7W7oQG3aLLROSCf3b5m8K4EGeJpHkGHcMEydMFrdiRLaaYTiHfNZyrcYucR7w9ask8ioy GLwj6C3ynOWXSnom6ET7W5NHYI/n30z64QMRgUkj2NC5lTmy7eZ5HGp568oht0XqPWZMtcd Awr33qDFF0GGE9hkHi0Fw== X-UI-Out-Filterresults: notjunk:1;V01:K0:j+bTukvQk9U=:cnQIryhSnOZ3gfPnafNY6J qoQZKMUj8QZDWPBSKjqgYjfrb7DYWNKMamK3p0vgKPS51FH+bW7yTzkgg5RC3v+2d+WBpyRki +sPi8R+MXzWpITzcCT60S536YJ5f+hqJtI3CYM6Paj+124bR00WuYqWA1N1eVkOXNERUfIkBh Peroln5ibIrD50+4ujTMH71iz3HKfdZE427A9YKm/qt+nljQ1LU78hxlr62a63BpDglg1S0V8 +TR3CYK2btLvAm2VpnoPEZ25FpWjOY/IJCsXYmWtQx7JlXfnTk7wfU3vyl+QXt2tVPYOhlZCr ehqBoNI8cogv4TB+npbNm40Mq4wiw8VN1w6kOIXwMAB/loEepK9NYjODyzYVw1mF4RJf3fnE8 0NjfPWY0bxq/E8K7k1G1Fy2GofH7/IPxpspLm58/cSN4TXPb+nT3GjHUUI/KObGsuMkJeyEWG sSgYDbLrFC3TC9Q5CJ4TUlu42kqEaxg0NTPS98uO4e/kxpOIox+uxANsiR5qcPyJ7a0RjkXSr CnTBI3xzWoUXBgnizRqeQ3g5kwdDVN6hC3Ce4tOW4U22sl82qPs+VBoNLs489L2kwzCav9Kyg 41TDyl0+t77yKl1CD7gUo3c/sPuP+YVMRfpRTxNU7r2ydb5ppQzvYx2auROrsXua1XFiMabnW zIw0NonGI7RpZ9GPrnaC4q+RrhJFiABN1HGlY8iH0wTQOe3vvlZ2BNocDDBpRneXO7NlnUX+3 GNzMYlfvWmctpTyDEW3YwTCzf4Zok8CFaA1tY3Zx04uIOtYfiRwQLDXskYXrXfWpAvTlJ3lLX glTgBwI Subject: Re: [Caml-list] Problems installing with opam This is a multi-part message in MIME format. --------------010602060006090407080602 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit On 03/28/2016 07:40 AM, Kakadu wrote: > >From 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. How can I find out why opam makes this decision? Something looks very screwed up. I have tried to switch to 4.00.0, but this fails with opam switch 4.00.0 =-=- Installing compiler 4.00.0 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [default.comp] http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.0.tar.gz downloaded Now compiling OCaml. This may take a while, please bear with us... Processing: [4.00.0: make world] [ERROR] Compiler build failed at "make world opt opt.opt": # opam-version 1.2.2 # os linux # command make world opt opt.opt # path /home/helmut/.opam/4.00.0/build/ocaml # exit-code 2 # env-file /home/helmut/.opam/log/log-32623-d2c37b.env # stdout-file /home/helmut/.opam/log/log-32623-d2c37b.out # stderr-file /home/helmut/.opam/log/log-32623-d2c37b.err ### stdout ### # [...] # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4 -I stdlib -o camlp4/mkcamlp4.cmx camlp4/mkcamlp4.ml # ../ocamlcompopt.sh -nostdlib -a -I stdlib camlp4/Camlp4_import.cmx camlp4/Camlp4_config.cmx camlp4/Camlp4.cmx -o camlp4/camlp4lib.cmxa # ../ocamlcompopt.sh -nostdlib -g -I stdlib camlp4/camlp4lib.cmxa camlp4/mkcamlp4.cmx -o camlp4/mkcamlp4.native # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4 -I stdlib -o camlp4/Camlp4Bin.cmx camlp4/Camlp4Bin.ml # ../ocamlcompopt.sh -nostdlib -I ../otherlibs/dynlink dynlink.cmxa -I ../otherlibs/unix unix.cmxa -g -I stdlib camlp4/camlp4lib.cmxa -linkall camlp4/Camlp4Bin.cmx -o camlp4/camlp4.native # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlParser.cmx camlp4/Camlp4Parsers/Camlp4OCamlParser.ml # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmx camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml # Exit code 2 while executing this command: # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmx camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml # Makefile:728: recipe for target 'camlp4opt' failed ### stderr ### # [...] # Warning 31: files stdlib/set.cmo and ../stdlib/stdlib.cma(Set) both define a module named Set # File "stdlib/sort.cmo", line 1: # Warning 31: files stdlib/sort.cmo and ../stdlib/stdlib.cma(Sort) both define a module named Sort # File "stdlib/stream.cmo", line 1: # Warning 31: files stdlib/stream.cmo and ../stdlib/stdlib.cma(Stream) both define a module named Stream # File "stdlib/stack.cmo", line 1: # Warning 31: files stdlib/stack.cmo and ../stdlib/stdlib.cma(Stack) both define a module named Stack # File "camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml", line 1: # Error: I/O error: as -o 'camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.o' '/tmp/camlasm35955e.s': Cannot allocate memory # make: *** [camlp4opt] Error 2 > 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_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 >> >> >> -- >> 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 --------------010602060006090407080602 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit On 03/28/2016 07:40 AM, Kakadu wrote:
>From 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. 
How can I find out why opam makes this decision?

Something looks very screwed up. I have tried to switch to 4.00.0, but this fails with

opam switch 4.00.0

=-=- Installing compiler 4.00.0 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default.comp] http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.0.tar.gz downloaded
Now compiling OCaml. This may take a while, please bear with us...
Processing: [4.00.0: make world]
[ERROR] Compiler build failed at "make world opt opt.opt":
        # opam-version 1.2.2
        # os           linux
        # command      make world opt opt.opt
        # path         /home/helmut/.opam/4.00.0/build/ocaml
        # exit-code    2
        # env-file     /home/helmut/.opam/log/log-32623-d2c37b.env
        # stdout-file  /home/helmut/.opam/log/log-32623-d2c37b.out
        # stderr-file  /home/helmut/.opam/log/log-32623-d2c37b.err
        ### stdout ###
        # [...]
        # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4 -I
        stdlib -o camlp4/mkcamlp4.cmx camlp4/mkcamlp4.ml
        # ../ocamlcompopt.sh -nostdlib -a -I stdlib camlp4/Camlp4_import.cmx camlp4/Camlp4_config.cmx camlp4/Camlp4.cmx -o
        camlp4/camlp4lib.cmxa
        # ../ocamlcompopt.sh -nostdlib -g -I stdlib camlp4/camlp4lib.cmxa camlp4/mkcamlp4.cmx -o camlp4/mkcamlp4.native
        # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I camlp4 -I
        stdlib -o camlp4/Camlp4Bin.cmx camlp4/Camlp4Bin.ml
        # ../ocamlcompopt.sh -nostdlib -I ../otherlibs/dynlink dynlink.cmxa -I ../otherlibs/unix unix.cmxa -g -I stdlib
        camlp4/camlp4lib.cmxa -linkall camlp4/Camlp4Bin.cmx -o camlp4/camlp4.native
        # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I
        camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlParser.cmx
        camlp4/Camlp4Parsers/Camlp4OCamlParser.ml
        # ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I
        camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmx
        camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml
        # Exit code 2 while executing this command:
        #   ../ocamlcompopt.sh -nostdlib -c -g -warn-error A -w Z -pp 'boot/ocamlrun camlp4/boot/camlp4boot.byte -D OPT' -I
        camlp4/Camlp4Parsers -I camlp4 -I stdlib -o camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmx
        camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml
        # Makefile:728: recipe for target 'camlp4opt' failed
        ### stderr ###
        # [...]
        # Warning 31: files stdlib/set.cmo and ../stdlib/stdlib.cma(Set) both define a module named Set
        # File "stdlib/sort.cmo", line 1:
        # Warning 31: files stdlib/sort.cmo and ../stdlib/stdlib.cma(Sort) both define a module named Sort
        # File "stdlib/stream.cmo", line 1:
        # Warning 31: files stdlib/stream.cmo and ../stdlib/stdlib.cma(Stream) both define a module named Stream
        # File "stdlib/stack.cmo", line 1:
        # Warning 31: files stdlib/stack.cmo and ../stdlib/stdlib.cma(Stack) both define a module named Stack
        # File "camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.ml", line 1:
        # Error: I/O error: as -o 'camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.o' '/tmp/camlasm35955e.s': Cannot allocate memory
        # make: *** [camlp4opt] Error 2



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 <helmut.brandl@gmx.net>:
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 <helmut.brandl@gmx.net>:
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 <helmut.brandl@gmx.net>:
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


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

    

--------------010602060006090407080602--