Browse thread
Error in installing Caml Light
- Francois Colonna
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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