Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] 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: Marco Maggesi <maggesi@m...>
Subject: [Caml-list] installing caml-light
Hi everybody,

I am trying to install Caml-light with no success (from
cl75unix.tar.gz).  I made two attempts on two different machines:

  1. On a Linux Gentoo box (you can find the complete trace of the
     compilation at http://math.unice.fr/~maggesi/cl75gentoo.log)

     Problem: The Caml-light core compiles correctly but I am not able
     to compile the contributions, in particular "unix".  The precise
     error is

       make[1]: Entering directory `/home/maggesi/cl/cl75/contrib/libunix'
       gcc -I../../src/runtime -O    -c -o accept.o accept.c
       In file included from /usr/include/sys/un.h:38,
                        from socketaddr.h:4,
                        from accept.c:8:
       /usr/include/string.h:278: error: syntax error before '(' token
       /usr/include/string.h:278: error: syntax error before "const"
       make[1]: *** [accept.o] Error 1


  2. On a Fedora (with Intel Xeon).

     The bootstrap do not reach the fixpoint:

       camlcomp compiler/camlcomp differ: byte 69072, line 288



The only reason I have to compile Caml-light is that I would like to
give a try to HOL-light, the prover of John Harrison.  How hard is to
translate a Caml-light program into an OCaml program?

Thanks for any help,

  -- M

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners