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 QAA15940; Sat, 2 Aug 2003 16:27:41 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA14633 for ; Sat, 2 Aug 2003 16:27:37 +0200 (MET DST) Received: from mails.tsinghua.edu.cn (mails.tsinghua.edu.cn [166.111.8.16]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h72ERZf14159 for ; Sat, 2 Aug 2003 16:27:36 +0200 (MET DST) Received: (eyou send program); Sat, 02 Aug 2003 22:23:18 +0800 Message-ID: <259834198.03985@mails.tsinghua.edu.cn> X-EYOUMAIL-SMTPAUTH: wang-y01@mails.tsinghua.edu.cn Received: from unknown (HELO tu140066.tsinghua.edu.cn) (unknown@166.111.140.95) by 166.111.8.16 with SMTP; Sat, 02 Aug 2003 22:23:18 +0800 Received: by tu140066.tsinghua.edu.cn (Postfix, from userid 378) id E6FE342A2F; Sat, 2 Aug 2003 22:41:12 +0800 (CST) Date: Sat, 2 Aug 2003 22:41:12 +0800 From: wang yin To: caml-list@inria.fr Subject: [Caml-list] problem compiling libunix on Linux Message-ID: <20030802144112.GA1541@wangyin.com> Mail-Followup-To: caml-list@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; yin:99 sohu:99 libunix:01 contrib:01 hol-light:01 gcc:01 runtime:01 usr:01 38,:01 const:01 extern:01 beijing:99 china:99 compiler:01 ifdef:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I'm trying to compile libunix in contrib directory for my Linux machine, because HOL-light uses libunix. But it seem that libunix uses BSD style headers. And I get the following compiler error from GCC: 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:257: parse error before '(' token /usr/include/string.h:257: conflicting types for `memmove' /usr/include/string.h:43: previous declaration of `memmove' /usr/include/string.h:257: parse error before "const" make: *** [accept.o] Error 1 Stracing into string.h, I found that problem emerges from the BSD prototype: #ifdef __USE_BSD /* Copy N bytes of SRC to DEST (like memmove, but args reversed). */ extern void bcopy (__const void *__src, void *__dest, size_t __n) __THROW; .... Why is __USE_BSD defined? I can't find it anywhere in my distribution. How can I solve this problem? HOL Light can be used without libunix, but it requires libnum, and libnum depends on libunix. And many other contrib libraries depends on it. So I must get libunix compiled! Can any one give some hints? -- Wang Yin Deparment of Computer Science and Technology, Tsinghua University, 100084 Beijing China ------------------- 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