From: pis@duke.edu
To: caml-list@inria.fr
Subject: problems with installing camlp5-5.12
Date: Fri, 11 Sep 2009 12:32:22 -0400 [thread overview]
Message-ID: <20090911123222.dv14sz8ies8oo4k0@webmail.duke.edu> (raw)
Dear ocaml users,
I am just trying to install camlp5-5.12 to run a code written in ocaml. I have
succesfully installed ocaml-3.11.1 but when I try to install camlp5-5.12 by
executing the make command I receive the following error messages (just copied
the last couple of rows:
cp ast2pt.mli ast2pt.ppi
ocamlc.opt -warn-error A -I ../odyl -I ../../boot -I
../../ocaml_stuff/3.11.1/utils -I ../../ocaml_stuff/3.11.1/parsing -c -intf
ast2pt.ppi
../../ocaml_stuff/3.11.1/parsing/parsetree.cmi is not a compiled interface
make[2]: *** [ast2pt.cmi] Error 2
make[2]: Leaving directory `/home/pis/ocaml/camlp5-5.12/ocaml_src/main'
make[1]: *** [compile_cold] Error 2
make[1]: Leaving directory `/home/pis/ocaml/camlp5-5.12'
make: *** [boot/camlp5] Error 2
The installation stops here and I do not know how to fix this. I am trying to
install it under linux (Linux version 2.6.26.8-57.fc8
(mockbuild@x86-3.fedora.phx.redhat.com) (gcc version 4.1.2 20070925 (Red Hat
4.1.2-33)))
Thank you very much for your help in advance
Peter
reply other threads:[~2009-09-11 16:32 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=20090911123222.dv14sz8ies8oo4k0@webmail.duke.edu \
--to=pis@duke.edu \
--cc=caml-list@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