From: Arjun Ravi Narayan <arjunravinarayan@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] problem in installation
Date: Sat, 9 Oct 2010 17:47:55 -0400 [thread overview]
Message-ID: <AANLkTi=02hcJxWv651ot5+ZimZ_uZej2U-NA1udRjxQJ@mail.gmail.com> (raw)
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
reply other threads:[~2010-10-09 21:48 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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='AANLkTi=02hcJxWv651ot5+ZimZ_uZej2U-NA1udRjxQJ@mail.gmail.com' \
--to=arjunravinarayan@gmail.com \
--cc=caml-list@yquem.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;
as well as URLs for NNTP newsgroup(s).