Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
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 --]

             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