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