From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 65235BB81 for ; Sun, 12 Dec 2004 09:24:43 +0100 (CET) Received: from pd2mo3so.prod.shaw.ca (shawidc-mo1.cg.shawcable.net [24.71.223.10]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBC8OgRD032712 for ; Sun, 12 Dec 2004 09:24:43 +0100 Received: from pd3mr6so.prod.shaw.ca (pd3mr6so-qfe3.prod.shaw.ca [10.0.141.21]) by l-daemon (Sun ONE Messaging Server 6.0 HotFix 1.01 (built Mar 15 2004)) with ESMTP id <0I8L00I4ZOP69F60@l-daemon> for caml-list@yquem.inria.fr; Sun, 12 Dec 2004 01:24:42 -0700 (MST) Received: from pn2ml9so.prod.shaw.ca ([10.0.121.7]) by pd3mr6so.prod.shaw.ca (Sun ONE Messaging Server 6.0 HotFix 1.01 (built Mar 15 2004)) with ESMTP id <0I8L00FXMOP6NU70@pd3mr6so.prod.shaw.ca> for caml-list@yquem.inria.fr; Sun, 12 Dec 2004 01:24:42 -0700 (MST) Received: from glek.net (S0106000795bd85bd.gv.shawcable.net [24.68.44.127]) by l-daemon (iPlanet Messaging Server 5.2 HotFix 1.18 (built Jul 28 2003)) with ESMTP id <0I8L00A4NOP5QH@l-daemon> for caml-list@yquem.inria.fr; Sun, 12 Dec 2004 01:24:42 -0700 (MST) Received: from [10.1.0.2] (vpn_client [10.1.0.2]) by glek.net (Postfix) with ESMTP id 93D054CB576 for ; Sun, 12 Dec 2004 00:24:41 -0800 (PST) Date: Sun, 12 Dec 2004 00:24:41 -0800 From: Taras Subject: Re: [Caml-list] ocamlopt and linking In-reply-to: <41BBF35D.9060809@shaw.ca> Cc: caml-list@yquem.inria.fr Message-id: <41BC0049.8030308@shaw.ca> MIME-version: 1.0 Content-type: text/plain; format=flowed; charset=ISO-8859-1 Content-transfer-encoding: 7bit X-Accept-Language: en-us, en References: <41BBF35D.9060809@shaw.ca> User-Agent: Mozilla Thunderbird 0.9 (X11/20041105) X-Miltered: at nez-perce with ID 41BC004A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlopt:01 wrote:01 ocaml:01 htmlman:01 ocamlc:01 ocamlopt:01 libcamlrun:01 libasmrun:01 tar:01 binaries:01 caml:02 caml:02 somewhere:02 asm:02 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=1.8 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: * Taras wrote: > Hi, > I'm trying to link an ocamlopt-generated object file into a C program > by following instructions on > http://caml.inria.fr/ocaml/htmlman/manual032.html > > Here is a small testcase: http://glek.net/~taras/os.tar.bz2 > Neither ocamlc, nor ocamlopt binaries seem to link for me. Am I making a mistake somewhere? In the above testcase, make MODE=caml attempts to link with ocamlc-generated .o & libcamlrun.a make MODE=asm uses ocamlopt & libasmrun.a In above 2 cases I get a different sets of missing symbols. Thanks, Taras