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 1BFB27EE34 for ; Mon, 28 Mar 2016 14:37:34 +0200 (CEST) IronPort-PHdr: 9a23:OGKGUh8VRyAOef9uRHKM819IXTAuvvDOBiVQ1KB91O0cTK2v8tzYMVDF4r011RmSDdWdsa4P17qempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lSsiI04/rh6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyse3msRzeUUOl/HIaXmFexhpFBw3Y8FfwRJ73vi/Sue9tni+XIZulY6ozXGGB5qRiRAKg3CQONDc17SfXg8J5iqtdqTquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUR9rkN4Y= Authentication-Results: mail3-smtp-sop.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-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.213.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.213.48 as permitted sender) identity=mailfrom; client-ip=209.85.213.48; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vk0-f48.google.com) identity=helo; client-ip=209.85.213.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-vk0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CwCwBEJflWizDVVdFbg0w1fQaZM48bhymLAoFwI4VqAoEZBzkTAQEBAQEBAQEQAQEBCAsLCR8xgi2CFQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEwgah28BAxIOoXqBMT4xizaBaoJXhhUKGScNUYQdAQEBAQEBBAEBAQEBFQEFCgVtiWaCPoF8gwKCVgWHXoZOQohzghODXogVgjN2i2KNTREegQ8iAoI0HoFWNzABiFUBAQE X-IPAS-Result: A0CwCwBEJflWizDVVdFbg0w1fQaZM48bhymLAoFwI4VqAoEZBzkTAQEBAQEBAQEQAQEBCAsLCR8xgi2CFQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEwgah28BAxIOoXqBMT4xizaBaoJXhhUKGScNUYQdAQEBAQEBBAEBAQEBFQEFCgVtiWaCPoF8gwKCVgWHXoZOQohzghODXogVgjN2i2KNTREegQ8iAoI0HoFWNzABiFUBAQE X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208";a="171247358" Received: from mail-vk0-f48.google.com ([209.85.213.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Mar 2016 14:37:32 +0200 Received: by mail-vk0-f48.google.com with SMTP id k1so152719630vkb.0 for ; Mon, 28 Mar 2016 05:37:32 -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=F6ITIIVUKYgBpDXrXCk4x8vRdu/kG4hqMx6kNLkvdok=; b=X22N47bugchneeBZCJ4kBGFTMAnDgduAt3bkzuLW2CkrOFHXbX0y5w0549Vcny33Tt mxUvMHT2ALS/EOJzhQnxm5akKozajUVzOJ2jjp5r/nBZzJB6HTzCsBb5uLFSkr3MUTZ1 W9XZ5InpA7MWGfQyBnEN6exRktPOVVJ7GTkMU17qgMOw5hDrfoeyzyYoOuaDAMEDi4Ya Px8/vgxiGh7NNQ+qnfTY5Bkq39FTcPOKw3zTejkyRr1WHgAc0Cf7cKw6WI5evEbf3Utb 7BC101WRO9L2m104DRo0DhiHfWYRNkfuH8qmeOKjSl3kcQBjwg1X+hqKAne3I9SxP3xP tsmQ== 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=F6ITIIVUKYgBpDXrXCk4x8vRdu/kG4hqMx6kNLkvdok=; b=N9R1Nh0BYAVxazIFO5hFZX76LQvyYM+JfFrC7HA4VD29OFgv/VWVjg6wPiccc117u7 NoyDF/BBJz7nSUvT4JRn7afhIn8DvaqA7/AsT3f6Z0P3mRp24WE21Olow7cwETUjPiEa GQXNmehLRiLH9NILrk8fAq6Fu8C9OxnbrUFdPt8Z8IoPNFbKStcL0UqbzPEKjcX6cC1a tNDod4Jd8Cp3GJWfS5Pryu2dnPVCoMr3bvZxTA/SaDc2r/EId9KgdLCgYuw8RyQL7P02 HZRW2Hii7KSX0MtX65ZxovbnGY7u6Qbq+G/WNW69jKMKMwpW/RjZ9xpWTymJnyaGLJs3 jphw== X-Gm-Message-State: AD7BkJL22Jk1axtRZHHAJfrn5LNARZPp0xBPR/5cgnC5+0Hhhbgfm0ImkndGUftfTV2hxBM+TMswb0hbljZBww== MIME-Version: 1.0 X-Received: by 10.31.131.65 with SMTP id f62mr12980926vkd.148.1459168651630; Mon, 28 Mar 2016 05:37:31 -0700 (PDT) Received: by 10.31.218.133 with HTTP; Mon, 28 Mar 2016 05:37:31 -0700 (PDT) In-Reply-To: <56F92453.6080500@gmx.net> References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> Date: Mon, 28 Mar 2016 16:37:31 +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 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: > =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/camlp4-3= 1525-d2c37b.env > # stdout-file > /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/camlp4-3= 1525-d2c37b.out > # stderr-file > /home/helmut/.opam/4.02.3/build/camlp4.4.02.0-1modular-implicits/camlp4-3= 1525-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. > >