Version française
Home     About     Download     Resources     Contact us    
Browse thread
problem in installation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: nitin choubey <nitin.choubey@g...>
Subject: problem in installation
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.