From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4SEowli029688 for ; Sat, 28 May 2011 16:50:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskCAP0K4U3RVdQ2kGdsb2JhbAA/AQMSnmMBhndcCBQBAQEBCQkNBxQEIaoQjB6CN4NTOYhiAQEDBoYYBII3hCuJbYsmO4NB X-IronPort-AV: E=Sophos;i="4.65,285,1304287200"; d="scan'208";a="109756513" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 May 2011 16:50:52 +0200 Received: by vws18 with SMTP id 18so3630264vws.27 for ; Sat, 28 May 2011 07:50:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:date:message-id:subject:from:to:cc :content-type; bh=cRKMqHl7w1UN2+mSLb3UmBhxe/spHJWM0gBCn0DevII=; b=lJqLOqxSduAmemkzhJgF3Py4A5aSQ8O3SfhUXMeGljkzK7X1E0wCcBuw3Ua0fNM3Jm YZ++xIzXMTeCkpb0XhLWKTt8Gy0HqIFzlW2De+6afOAJJOzfhsrhT2AMfYCNahyxYExK 97b84LG8sFX7GN78z1EbSUqxzrIegL6v6/p7A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:cc:content-type; b=BILYgEFxjSkbWKuMg4aQJ9BVUG32kvw6a8yYxO8UtIWiD4K9cDfB8w8qpNjqIrUjAV j8VIt3XL7MmUavfmpyS2DB2NdpQoA97SJ5Fxi3KJX1Z5oyth0ubE9f72pvdkD1isPRuw e+AKnLtHQsbpT/wRmCLBuNLX/jivdaB5ST52c= MIME-Version: 1.0 Received: by 10.52.176.74 with SMTP id cg10mr4536141vdc.242.1306594251444; Sat, 28 May 2011 07:50:51 -0700 (PDT) Received: by 10.52.161.38 with HTTP; Sat, 28 May 2011 07:50:51 -0700 (PDT) Date: Sat, 28 May 2011 20:20:51 +0530 Message-ID: From: Ramanuj Bhattacharyya To: caml-list@inria.fr Cc: Ansuman Banerjee Content-Type: multipart/alternative; boundary=20cf307f34c239125c04a4572eaf X-Validation-by: ramanbhat@gmail.com Subject: [Caml-list] Not being able to build Ocaml in Fedora 12 --20cf307f34c239125c04a4572eaf Content-Type: text/plain; charset=ISO-8859-1 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. --20cf307f34c239125c04a4572eaf Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear sir/ Madam,

For one of our research papers, we have decided to use CIL as the instrumentation tool. For that Ocaml is required. Unf= ortunately, 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 dis= cussion forums.

Her= e is the log of "make":
=
../../ocamlcomp.sh -c -warn-error A -g= =A0 nat.mli
../../ocamlcomp.sh -c -warn-error A -g=A0 nat.ml<= /a>
../../ocamlcomp.sh -c -warn-error A -g=A0 big_int.mli
../../ocaml= comp.sh -c -warn-error A -g=A0 big_int.ml=
../../ocamlcomp.sh -c -warn-error A -g=A0 arith_flags.ml
../../ocamlcomp.sh -c -warn-error A -g=A0 ratio.mli
../../ocamlcomp.sh -= c -warn-error A -g=A0 ratio.ml
../../oca= mlcomp.sh -c -warn-error A -g=A0 num.mli
../../ocamlcomp.sh -c -warn-err= or A -g=A0 num.ml
../../ocamlcomp.sh -c -warn-error A -g=A0 arith_status.mli
../../ocamlco= mp.sh -c -warn-error A -g=A0 arith_statu= s.ml
make[2]: warning:=A0 Clock skew detected.=A0 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/oth= erlibs/dynlink'
make[2]: Warning: File `Makefile' has modificati= on 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 -wa= rn-error A -I ../../stdlib -I ../../utils -I ../../typing -I ../../bytecomp= -I ../../asmcomp ../../utils/clflags.ml<= br> ../../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<= br> ../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdlib -I ../../= utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../parsing/astt= ypes.mli
../../boot/ocamlrun ../../ocamlc -c -warn-error A -I ../../stdl= ib -I ../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp ../../= parsing/location.ml
File "../../parsing/location.ml&quo= t;, line 211, characters 6-26:
Error: Unbound module Linenum
make[2]:= *** [../../parsing/location.cmo] Error 2
make[2]: Leaving directory `/h= ome/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. <= /span>

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 remain= s a fool forever.


--20cf307f34c239125c04a4572eaf--