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 160FE7FA87 for ; Wed, 18 May 2016 17:14:06 +0200 (CEST) IronPort-PHdr: 9a23:WH/C4h2xAE4HFG5NsmDT+DRfVm0co7zxezQtwd8ZsegRL/ad9pjvdHbS+e9qxAeQG96LurQf06GJ6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZ/vnL/os7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nxDDSAKJrl4bTGwPmwAAVyLM7BTzWL/7uyv/v+x4niKdOJulY6ozXGGB5qRiRAKg3CQONDc17SfXg8J5iqtdqTquohV+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-f41.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.41; 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.41 as permitted sender) identity=mailfrom; client-ip=209.85.213.41; 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-f41.google.com) identity=helo; client-ip=209.85.213.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-vk0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BxAAAXhjxXfynVVdFeg1U3fgauYYsPAQ2BdR6FcwKBMwc4FAEBAQEBAQEBEQEBCQsLCSEvgi2CFgEBBBIRBBkBGx0BAwwGBQsPAiYCAiIBEQEFARwGEyKHcgEDF6QEgTE+MYs7gWqCWAWIFwoZJw1Sg00BAQEBAQEEAQEBAQEaAgYQcYlSH4c/glkBBI5QiVuCHYNjiCCCN3aLbY4KEh6BDx4BAYI7Ch+BTjkyiAYBAQE X-IPAS-Result: A0BxAAAXhjxXfynVVdFeg1U3fgauYYsPAQ2BdR6FcwKBMwc4FAEBAQEBAQEBEQEBCQsLCSEvgi2CFgEBBBIRBBkBGx0BAwwGBQsPAiYCAiIBEQEFARwGEyKHcgEDF6QEgTE+MYs7gWqCWAWIFwoZJw1Sg00BAQEBAQEEAQEBAQEaAgYQcYlSH4c/glkBBI5QiVuCHYNjiCCCN3aLbY4KEh6BDx4BAYI7Ch+BTjkyiAYBAQE X-IronPort-AV: E=Sophos;i="5.26,329,1459807200"; d="scan'208";a="178212741" Received: from mail-vk0-f41.google.com ([209.85.213.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 May 2016 17:14:05 +0200 Received: by mail-vk0-f41.google.com with SMTP id f66so65279010vkh.2 for ; Wed, 18 May 2016 08:14:05 -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; bh=lVQOO88ZbZK85DFZSscpjr0/cehM4faqeWgb1+iDn4I=; b=G7phjTQTRKcdsn9E6PyuaorrSAlvGnhjWtfRfUsXq2pdXATzCWOpwDP5OiOjhNreKV MSspq6EkIywUBVJA+qtvsH3r9Kn8j/crHQ0wlo5hxTDL4xe5Zxssp17zapM/LYgux/yf YTuXoGs8yrkz7vFvCODd9ka8UbpknVicFDxW3+2hxR+cJcNfgreCleMGubeeq4Cy8QHh iT39GDI022qCzXXCfkhf2+SuVMB+izvS9bjI4NxApUl5+Nhkx5nFbPkN5bKAkn9Dr83K Im6z5ZpbnIneUYKR0/9qzV9NBgu3x5ioEpUScFancI/l0X0mZzNfL9QY7sDSyX9jALp9 zUCQ== 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; bh=lVQOO88ZbZK85DFZSscpjr0/cehM4faqeWgb1+iDn4I=; b=Y/bXWp3j5s6vNQrKXQu03FaeHqtCcczj1Syn3PWLdw5MxbzkTpXyGC+FoX3WFne1g8 eE9IIMpO0Zbx9FCtPTuBdBiqseCPoe5GbyJsU55sWe8WhesRiKOB07J0frs2n5x+1Lyi 3Ykb/GOj0mOXj3cp0hkQ1q73uK0k1HU8Ui/B2TjeDj8SsxovwRUC+y//zqpbReqJB4Gz N6nrSBccghOqxKmFIrH2i6i8gDZFKpMcRVsbsmU2dvO9U8fTh7rKsTqC08muc/XHaJxh 3581/jXcuJtVXMwMkrcHnDeM/0VJLEy03yb9RkYPyUQ0QHimFKLbsdLWoIo2bdKc7zDK QdNQ== X-Gm-Message-State: AOPr4FWY3719cfwa8uGX6mDtR4SJzkYPYNDxsE5VwjmB8G2wV4QfCfGMHhtlVzreVMLII99hF0qTxxPFXmYDZg== MIME-Version: 1.0 X-Received: by 10.159.37.68 with SMTP id 62mr4444981uaz.73.1463584443816; Wed, 18 May 2016 08:14:03 -0700 (PDT) Received: by 10.31.27.149 with HTTP; Wed, 18 May 2016 08:14:03 -0700 (PDT) In-Reply-To: <573C822C.3090800@BahmanM.com> References: <573C822C.3090800@BahmanM.com> Date: Wed, 18 May 2016 18:14:03 +0300 Message-ID: From: Kakadu To: Bahman Movaqar Cc: OCaml list Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Beginner - Ocsigen Installation assistance I'm not sure but I think that eliom's opam recipe is too restrictive. The newest recipe doesn't mention camlp4 at all. The shortest workaround should be opam pin add eliom --dev-repo Can you try it? Happy hacking, Kakadu 2016-05-18 17:54 GMT+03:00 Bahman Movaqar : > I posted this a couple of days ago to ocsigen list with no response. > I'd appreciate any hints/help. > > > $ opam install eliom > The following dependencies couldn't be met: > - eliom -> camlp4 <= 4.02+6 > Your request can't be satisfied: > - No package matches camlp4<=4.02+6 > > $ ocaml -version > The OCaml toplevel, version 4.02.3 > > $ opam list > # Installed packages for 4.02.3: > base-bigarray base > base-bytes base > base-ocamlbuild base > base-threads base > base-unix base > biniou 1.0.6 > camlp4 4.02+7 > camomile 0.8.5 > cmdliner 0.9.7 > conf-m4 1 > conf-ncurses 1 > conf-pkg-config 1.0 > conf-which 1 > cppo 1.1.2 > depext 0.7 > easy-format 1.0.2 > fileutils 0.4.4 > lambda-term 1.9 > lwt 2.5.2 > merlin 2.1.2 > oasis 0.4.3 > ocaml-data-notation 0.0.11 > ocamlbuild 0 > ocamlfind 1.6.1 > ocamlify 0.0.1 > ocamlmod 0.0.4 > ocp-indent 0.6.1 > ounit 2.0.0 > ppx_tools 5.0+4.02.0 > react 1.2.0 > type_conv 109.41.00 > utop 1.19 > yojson 1.2.3 > zed 1.2 > > Apparently I have camlp4 4.02+7 installed (as a dependency for another > package). Is there anything that I can do to get this working? > > Thanks in advance. > > -- > Bahman Movaqar > > http://BahmanM.com - https://twitter.com/bahman__m > https://github.com/bahmanm - https://gist.github.com/bahmanm > PGP Key ID: 0x6AB5BD68 (keyserver2.pgp.com) > > >