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 DDF817EE34 for ; Mon, 28 Mar 2016 14:44:09 +0200 (CEST) IronPort-PHdr: 9a23:oR6XRh1hkVdrIaI7smDT+DRfVm0co7zxezQtwd8ZsegQKvad9pjvdHbS+e9qxAeQG96Lu7Qe16GK4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ7rnLzis7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjMw5dbwtB/MBTeornUdX2Ea2loTW0mWpD/gWZKkkib+s/dhkAOANMv6SfhgWTmm6rp3DhXygSELMxY29XGRjMFs2vEI6Cm9rgByltaHKLqeM+BzK+aCJd4= 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.15; 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.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; 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.15; 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: A0AWCQBwJvlWkw8P49RbhAFxDIgukQuPG5IrgXAjhWoCKHg6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIMCQEBBCMPAQVAARALGAICBRYLAgIJAwIBAgFFEwYCAQGFboIfAQMUAgqjaotnilUBhUUBAQEBAQUBAQEBAQEafIUihESCPoF8gwIQgkYFh16GUj6Ic4FShB+KSIcEhVSPCycLgkSBcE0BiFUBAQU X-IPAS-Result: A0AWCQBwJvlWkw8P49RbhAFxDIgukQuPG5IrgXAjhWoCKHg6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIMCQEBBCMPAQVAARALGAICBRYLAgIJAwIBAgFFEwYCAQGFboIfAQMUAgqjaotnilUBhUUBAQEBAQUBAQEBAQEafIUihESCPoF8gwIQgkYFh16GUj6Ic4FShB+KSIcEhVSPCycLgkSBcE0BiFUBAQU X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208";a="171248056" Received: from mout.gmx.net ([212.227.15.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2016 14:44:09 +0200 Received: from [192.168.1.68] ([187.207.111.122]) by mail.gmx.com (mrgmx001) with ESMTPSA (Nemesis) id 0Le64S-1Zx9UB2oKi-00psaI for ; Mon, 28 Mar 2016 14:44:08 +0200 References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> Cc: Caml List From: Helmut Brandl Message-ID: <56F92715.6030901@gmx.net> Date: Mon, 28 Mar 2016 06:44:05 -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:yKkTxYBMzCBg2vh1OD5CdJMWqTlpxRIgs0rwc1ArOwxa6SkgOS/ DiQvaYphTBhWGfIXJ79bd+p0Fo2gMSzLgYCPF8OVd+dRB9l/e+cHoKk0IHi3O7fDRugskO2 sxJSwCR72jaZr2LND7nwBbBmt4kkKzAThyHmeZKBMt8OJRK2PGWvMIUGrZpRiOQBUY/Y0Or j3Qfqm9wHOqw4gp62QDeA== X-UI-Out-Filterresults: notjunk:1;V01:K0:Bb9xQCouTAs=:036ISBG435QH7qxArCJNX1 ff9XmJBONc4uaqIky9lI2pEfXLZ8vJcY4jgOoj4/5r8TG6O+dsw829MsYQwHUi/EqVNtYep/m h8VBaIo4mjYdiAGAPPdqOT1v10XS2yO0ZpVNlJV8B7OOPU16jLF/qUBoz1d88Va0q3solGYZg ot5t26GqFH1APv7uVjI7KZy4REjstETSb033k9pFtFqoVxPfoD9y4W4KR+7L9AwZZUxIEXtlv fTZ9ccN23x4FlyDfFqLtX2V1s0OlMMf3fko2IYJdOCKiuBqijyYxmwTT8+ie69IDT64wd7isz VbiQGlWJku0jW/p1l98elyYi3dofMhuyfqN7Bf1q6ObGVubaIpMjM/SXhaKUgpX80/eWfLu8o Ui7lg/b1cWzM4rNBcPLnTQU1IVzcCUZT+XA0lWIwogLv+NV2eLBTapqr1IGdAYpJd+mwtQNcg rnzXqebZL0uX6/0IU0WBdOeRgczsjUrwc86ngPRBtonmeei52RND1lnyUg4rfIggXNghmbXs/ 8QNgPBZdGraEGfZbQjmXwVNV+0aTXjSRiP7MhrSa6DsffzRglwxOyQtQxVjm6NgIngR8yHfW+ 4FMoO0zrbQDo+uchkFrOqY1+dpYemhibB0dNvw0SuSBEty9MG4ZlZ3mopzPojO3sXg2PQwoED NyhigOSVpDNRX4vy3W4ABN6Wgzt0P0BZjD85p/6bSlovissK8jgt6/WMaVogzlphjB+t+oD+d P4y5Jw8CLiX/dTc0kFWu9/gPlgwxEuiwzhaV2hic5JKNo6f7yIX8XWNyeyA3pHAfjToPwVKdg d6gokpt Subject: Re: [Caml-list] Problems installing with opam 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. >> >>