Version française
Home     About     Download     Resources     Contact us    
Browse thread
Error in installing Caml Light
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Colonna <colonna@c...>
Subject: Error in installing Caml Light
Hello,

To install Caml Light I did the following :

cd /usr/local/Caml/
wget http://pauillac.inria.fr/cdrom/ftp/caml/cl75unix.tar.gz

tar -xvzf cl75unix.tar.gz

cd /usr/local/Caml/cl75/src

   make configure
   make world > log.world 2>&1
   make bootstrap > log.bootstrap 2>&1
   make install

everything is ok.
------------------------------------------
 From here things are going wrong, why ?

cd /usr/local/Caml/cl75/contrib

   make

gives :
....

make[2]: Entering directory `/usr/local/Caml/cl75/contrib/camlsearch/source'
camlc -c -I ../../libunix -I ../../../src/compiler -g -W 
directory_and_file.ml
Cannot find the compiled interface file unix.zi.
make[2]: *** [directory_and_file.zo] Erreur 2
make[2]: Leaving directory `/usr/local/Caml/cl75/contrib/camlsearch/source'
make[1]: *** [all] Erreur 2
make[1]: Leaving directory `/usr/local/Caml/cl75/contrib/camlsearch'
make: *** [all] Erreur 2


Thanks
François Colonna

-- 
François Colonna
telephone:
until 1:pm 33-1 40 19 92 38
from  2:pm 33-1 44 27 42 11

please notice my new e-mail address: colonna@ccr.jussieu.fr