From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2F2D1BC57 for ; Sat, 9 Oct 2010 23:48:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvQBAHOAsExKfVK0kGdsb2JhbACUFzGNcwgVAQEBAQkJDAcRAx+hJIlJgheGDS6IVgEBAwWFQgSKQA X-IronPort-AV: E=Sophos;i="4.57,309,1283724000"; d="scan'208";a="60837165" Received: from mail-wy0-f180.google.com ([74.125.82.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Oct 2010 23:47:57 +0200 Received: by wye20 with SMTP id 20so65844wye.39 for ; Sat, 09 Oct 2010 14:47:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:date:message-id :subject:from:to:content-type; bh=zS8z8SERA6orPjJE/CEKdQXkOw0HXZpjUD22TabfdYM=; b=egaVVfNk3128BCj9Y+kESb/tYPL0x8jLGPDyvU7INvxxlv5AWV4Tzm1bd2o3Hy9VpK R4e9HyQ/aco+TMZGoV/mC0bPZYdPkD/JkBfXHKU82ZnxoWezl2Y9JL13Pm5ZY45tFUkH 9HS85hpDKZj6H7ALg5OB+AShr0Ral4XNNHPLw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=ozK+Lc+v1FEsDBtOSxf+PReyoIvB4COa/3NaCL88yqEuJVa1DcSf6QTi4Rcx9zcbz0 37G5l9/TY78imrj+OzRqXC1QfVZeBt8DHq0objDTXY71sUYoDgGgVmANYRoSw3my0Jbh RRYEysgRAUE01SHwv5gEECQHR1MIlFw6mpFHU= MIME-Version: 1.0 Received: by 10.216.6.201 with SMTP id 51mr1397649wen.110.1286660875544; Sat, 09 Oct 2010 14:47:55 -0700 (PDT) Received: by 10.216.17.143 with HTTP; Sat, 9 Oct 2010 14:47:55 -0700 (PDT) Date: Sat, 9 Oct 2010 17:47:55 -0400 Message-ID: Subject: Re: [Caml-list] problem in installation From: Arjun Ravi Narayan To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; gcc:01 gcc:01 makefile:01 runtime:01 cflags:01 cflags:01 compiler:01 runtime:01 libs:01 camlrun:01 camlyacc:01 lib:01 cpp:01 lib:01 cpp:01 I just had this same problem, and after some debugging, realized that the problem is that over time, as gcc has added in more optimizations (remember, cl75 was originally using gcc 2.x) life has gotten worse. So in the Makefile in cl75/src/runtime, change CFLAGS =-O2 $(OPTS) -I.. to CFLAGS =-O0 $(OPTS) -I.. (That is big-oh zero above, replacing big-oh two) Then make clean, make configure in cl75/src, make world. Should work. This fixed it for me. I suspect -O1 would work as well, but who needs compiler optimizations for performance? :) I understand that this advice is most like a tad too late to be useful to you, but there are no solutions out on Google, so I'll try archiving my solution to this problem. >nitin choubey wrote on >Thu, 24 Sep 2009 07:39:07 -0700: > i am trying to install caml in red hat enterprise editon 5 in intel xeon > system, but after performing make clean then make world it is not working. > the following result are displayed: > cd runtime; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" LIBS="" all > make[1]: Entering directory `/home/fmuser/fmtools/src/cl75/src/runtime' > make[1]: Nothing to be done for `all'. > make[1]: Leaving directory `/home/fmuser/fmtools/src/cl75/src/runtime' > cp runtime/camlrun . > cd yacc; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" all > make[1]: Entering directory `/home/fmuser/fmtools/src/cl75/src/yacc' > make[1]: Nothing to be done for `all'. > make[1]: Leaving directory `/home/fmuser/fmtools/src/cl75/src/yacc' > cp yacc/camlyacc . > cd lib; make CPP="/lib/cpp -P -traditional -Dunix" all > make[1]: Entering directory `/home/fmuser/fmtools/src/cl75/src/lib' > ../camlrun ../camlcomp -stdlib . -O none -g -W arg.mli > make[1]: *** [arg.zi] Segmentation fault > make[1]: *** Deleting file `arg.zi' > make[1]: Leaving directory `/home/fmuser/fmtools/src/cl75/src/lib' > make: *** [world] Error 2 > > ---> any suggestion will be helpful. > thanks in advance. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs