From: Ramanuj Bhattacharyya <ramanbhat@gmail.com>
To: caml-list@inria.fr
Cc: Ansuman Banerjee <ansumanb@gmail.com>
Subject: [Caml-list] Not being able to build Ocaml in Fedora 12
Date: Sat, 28 May 2011 20:20:51 +0530 [thread overview]
Message-ID: <BANLkTimoMdWzF7_mjJkCGra6f0CDKKqbqQ@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 2890 bytes --]
Dear sir/ Madam,
For one of our research papers, we have decided to use *CIL* as the
instrumentation tool. For that *Ocaml* is required. Unfortunately, I am not
being able to build Ocaml in Fedora 12. The respective gcc is : gcc-4.4.2.
Can you please let me know what mistakes I am doing ? I did not find the
help regarding fedora 12 and gcc-4.4.2 in any of the discussion forums.
Here is the log of "make":
../../ocamlcomp.sh -c -warn-error A -g nat.mli
../../ocamlcomp.sh -c -warn-error A -g nat.ml
../../ocamlcomp.sh -c -warn-error A -g big_int.mli
../../ocamlcomp.sh -c -warn-error A -g big_int.ml
../../ocamlcomp.sh -c -warn-error A -g arith_flags.ml
../../ocamlcomp.sh -c -warn-error A -g ratio.mli
../../ocamlcomp.sh -c -warn-error A -g ratio.ml
../../ocamlcomp.sh -c -warn-error A -g num.mli
../../ocamlcomp.sh -c -warn-error A -g num.ml
../../ocamlcomp.sh -c -warn-error A -g arith_status.mli
../../ocamlcomp.sh -c -warn-error A -g arith_status.ml
make[2]: warning: Clock skew detected. Your build may be incomplete.
make[2]: Leaving directory `/home/Maitrayee/Ph.D/ocaml-3.12.0/otherlibs/num'
make[2]: Entering directory
`/home/Maitrayee/Ph.D/ocaml-3.12.0/otherlibs/dynlink'
make[2]: Warning: File `Makefile' has modification time 1.1e+08 s in the
future
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../utils/
misc.ml
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../utils/
clflags.ml
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../utils/
tbl.ml
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../utils/
warnings.ml
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp
../../parsing/asttypes.mli
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I
../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp
../../parsing/location.ml
File "../../parsing/location.ml", line 211, characters 6-26:
Error: Unbound module Linenum
make[2]: *** [../../parsing/location.cmo] Error 2
make[2]: Leaving directory
`/home/Maitrayee/Ph.D/ocaml-3.12.0/otherlibs/dynlink'
make[1]: *** [otherlibraries] Error 2
make[1]: Leaving directory `/home/Maitrayee/Ph.D/ocaml-3.12.0'
make: *** [world] Error 2
Can you please help me out for it ? I really need it.
Thanks in advance for your cooperation.
Regards,
Ramanuj
***********************************************
Ramanuj Bhattacharyya
Principal Engineer,
Interra Systems India Pvt. Ltd.
He who asks is a fool for five minutes, but he who does not ask remains a
fool forever.
[-- Attachment #2: Type: text/html, Size: 5417 bytes --]
next reply other threads:[~2011-05-28 14:50 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-28 14:50 Ramanuj Bhattacharyya [this message]
2011-05-28 16:01 ` Richard W.M. Jones
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=BANLkTimoMdWzF7_mjJkCGra6f0CDKKqbqQ@mail.gmail.com \
--to=ramanbhat@gmail.com \
--cc=ansumanb@gmail.com \
--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