Re: [Caml-list] problem in installation

Re: [Caml-list] problem in installation

[Arjun Ravi Narayan]

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