From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA01809; Fri, 18 Jun 2004 19:20:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA01804 for ; Fri, 18 Jun 2004 19:20:46 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5IHKjEV008821 for ; Fri, 18 Jun 2004 19:20:46 +0200 Received: from root by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 1BbN2j-0001mf-00 for ; Fri, 18 Jun 2004 19:20:45 +0200 Received: from pcmath208.unice.fr ([134.59.10.208]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 18 Jun 2004 19:20:45 +0200 Received: from maggesi by pcmath208.unice.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 18 Jun 2004 19:20:45 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Marco Maggesi Subject: [Caml-list] installing caml-light Date: Fri, 18 Jun 2004 16:44:00 +0000 (UTC) Message-ID: X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: pcmath208.unice.fr User-Agent: slrn/0.9.8.0 (Linux) X-Miltered: at nez-perce with ID 40D3246D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; maggesi:01 maggesi:01 unice:01 unice:01 compiles:01 contrib:01 gcc:01 runtime:01 usr:01 38,:01 usr:01 const:01 bootstrap:01 fixpoint:01 camlcomp:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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