caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Richard W.M. Jones" <rich@annexia.org>
To: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
Cc: caml-list@inria.fr
Subject: [Caml-list] camlp5 for OCaml 4.04
Date: Tue, 8 Nov 2016 13:38:49 +0000	[thread overview]
Message-ID: <20161108133849.GW324@annexia.org> (raw)


Hello Daniel,

I am currently packaging OCaml 4.04 for Fedora.  One thing which I
think is missing is camlp5 for OCaml > 4.03.  The latest version from
git (2b07889b) fails to build with the error:

ocamlc.opt -I ../odyl -I ../../boot -I ../../lib -I ../../ocaml_stuff/4.04.0/utils -I ../../ocaml_stuff/4.04.0/parsing ../../boot/versdep.cmo ../../boot/ploc.cmo ../../boot/plexing.cmo ../../boot/plexer.cmo ../../boot/fstream.cmo ../../boot/gramext.cmo ../../boot/grammar.cmo ../../boot/diff.cmo ../../boot/extfold.cmo ../../boot/extfun.cmo ../../boot/pretty.cmo ../../boot/pprintf.cmo ../../boot/eprinter.cmo ../../ocaml_stuff/4.04.0/utils/pconfig.cmo quotation.cmo prtools.cmo ast2pt.cmo reloc.cmo pcaml.cmo exparser.cmo parserify.cmo argl.cmo ../../boot/stdpp.cmo ../../boot/token.cmo crc.cmo main.cmo -a -o camlp5.cma
ocamlc.opt ../odyl/odyl.cma camlp5.cma ../odyl/odyl.cmo -linkall -o camlp5
File "_none_", line 1:
Error: Files camlp5.cma(Versdep) and ../odyl/odyl.cma(Dynlinkaux)
       make inconsistent assumptions over interface Parsetree
Makefile:25: recipe for target 'camlp5' failed

I wonder if there are plans to update camlp5?

Rich.

             reply	other threads:[~2016-11-08 13:38 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-11-08 13:38 Richard W.M. Jones [this message]
2016-11-08 13:54 ` Kakadu

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20161108133849.GW324@annexia.org \
    --to=rich@annexia.org \
    --cc=caml-list@inria.fr \
    --cc=daniel.de_rauglaudre@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).