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