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 14AC37EE34 for ; Mon, 28 Mar 2016 14:51:42 +0200 (CEST) IronPort-PHdr: 9a23:oTWXqB067YzAc63MsmDT+DRfVm0co7zxezQtwd8ZsegfLPad9pjvdHbS+e9qxAeQG96Lu7Qe16GK4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ7rnLzis7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjMD39DwrRTIUSeI43IdVC1WzksJUED560TaU5P0rzeynPB03iWedZn2QLQxRCjk5b1iThPsoCgCJ3g//X2B2eJqi6cOgxuirhBii9rXaYKcOOc4fqrTdNUTQ2NpUcNYVigHCYS5OdhcR9EdNPpV+tGu72AFqgGzUEzxXe4= 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-f53.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.53; 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.53 as permitted sender) identity=mailfrom; client-ip=209.85.213.53; 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-f53.google.com) identity=helo; client-ip=209.85.213.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-vk0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CzCwCdJ/lWizXVVdFbg0w1fQaZM48bgVCFWYsCgXAjhWoCgRkHOhIBAQEBAQEBARABAQEICwsJHzGCLYIVAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHbwEDEg6hfIExPjGLNoFqgleGFQoZJwMKUYQdAQEBAQEBBAEBAQEBFQEFCgVtiWaCPoF8gwKCVgWGIgyBMIZOQohzghODXogVgjN2i2KNTREegQ8mAYIxHoFWNzABiFUBAQE X-IPAS-Result: A0CzCwCdJ/lWizXVVdFbg0w1fQaZM48bgVCFWYsCgXAjhWoCgRkHOhIBAQEBAQEBARABAQEICwsJHzGCLYIVAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHbwEDEg6hfIExPjGLNoFqgleGFQoZJwMKUYQdAQEBAQEBBAEBAQEBFQEFCgVtiWaCPoF8gwKCVgWGIgyBMIZOQohzghODXogVgjN2i2KNTREegQ8mAYIxHoFWNzABiFUBAQE X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208";a="171248755" Received: from mail-vk0-f53.google.com ([209.85.213.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Mar 2016 14:51:40 +0200 Received: by mail-vk0-f53.google.com with SMTP id e6so153034137vkh.2 for ; Mon, 28 Mar 2016 05:51:40 -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=psQc3rJgehlQUrY1CrQ6QOUf9yxwEdLu3F6TrN3IGsc=; b=fTkfooCzv8SqXhmxQG563b2bCDjRwhQs9Qj6zQAn2/V0Jv7g3D+mjV9etto85RqPcs MZ6QqxG5iTQJ9YHs/+4+f/tiNavOwX8LPCV3aVNq7npZcMN5KBtqc2IC/Hc/oAxQe3v7 YfA3gypcz4UiQu3J/hKvWdf6Ar9ZTYn9jcnbfLOao1jwolEfI+vCcMjJTFwqnlszjuNB d+E7sB/u8tTni2IRlymCZPHhrNBvDdoh8ED3qjMu6/gbRD0IAEuQOAllZ3Z9iR90fSh2 rtA5V2aREs67tWM+loeQhFX240nrEV23a7wpNCKyUd4HO7pXwKIA4Cuvx2ZNme6heaTB i5Zg== 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=psQc3rJgehlQUrY1CrQ6QOUf9yxwEdLu3F6TrN3IGsc=; b=TovSNE50fQ6/+VLNgT+GDUUe44iLUCVs5thpIgdK2/yr8d7olUiz7UwY7HzUn3xX2X hwW8VdEY3+xWWKjYi0NIJcISHTCSIxsBZ/SlZppdUJbNSVXLNunIGGqa0a8suZzVqHPo Fdax1HPV3whT5M17aGB6P6YBxpfYZIBGqP8k+mJX3Yde/4f4QBBDTDkyPA2kRhl0cHoA mMpA9ST84ePcgOHeXpfVVa+QVIvVwSadO5StJZVZiIRATlPcvhgGHoBpd9xHCfMleykQ v17tyvWmf5gIz7u3h0UYnpSIXZQ9bq6Yw6aYZJRcgAjxqPzuzKPjbRj6R+sr7ATDJYM8 947g== X-Gm-Message-State: AD7BkJKP4V9kb3MR0GHLvlgJ6mQRNdoi+Bpao/qlrvHm1Vp53O4opwUg4H4IBC3RpQ8E0gZSjjT7VdiM9qz2NQ== MIME-Version: 1.0 X-Received: by 10.31.131.65 with SMTP id f62mr13008633vkd.148.1459169499476; Mon, 28 Mar 2016 05:51:39 -0700 (PDT) Received: by 10.31.218.133 with HTTP; Mon, 28 Mar 2016 05:51:39 -0700 (PDT) In-Reply-To: <56F92715.6030901@gmx.net> References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> Date: Mon, 28 Mar 2016 16:51:39 +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 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: >>> =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= -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.c= mo >>> 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.c= mo >>> 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. >>> >>> > > > -- > 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