From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5FCE5BBC4 for ; Thu, 2 Feb 2006 14:32:34 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k12DWXxD013914 for ; Thu, 2 Feb 2006 14:32:34 +0100 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 OAA28735 for ; Thu, 2 Feb 2006 14:32:33 +0100 (MET) Received: from grassmarket.ucs.ed.ac.uk (grassmarket.ucs.ed.ac.uk [129.215.166.64]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k12DWXq0013907 for ; Thu, 2 Feb 2006 14:32:33 +0100 Received: from [129.215.46.138] (kirkland.inf.ed.ac.uk [129.215.46.138]) by grassmarket.ucs.ed.ac.uk (8.12.10/8.12.10) with ESMTP id k12DWSwl004915 for ; Thu, 2 Feb 2006 13:32:28 GMT Message-ID: <43E209EC.8010206@sms.ed.ac.uk> Date: Thu, 02 Feb 2006 13:32:28 +0000 From: Ezra Cooper User-Agent: Mozilla Thunderbird 1.0.2-1.3.2.ed.1 (X11/20050420) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Inspecting a compiled library/interface Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Edinburgh-Scanned: at grassmarket.ucs.ed.ac.uk with MIMEDefang 2.33, Sophie, Sophos Anti-Virus X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 43E209F1.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43E209F1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 byte-code:01 libs:01 ocaml:01 lib:01 ocamlnet:01 netstring:01 cmxa:01 usr:01 lib:01 stdlib:01 cmxa:01 rebuilding:01 ocamlnet:01 netstring:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi folks, I have an ocaml program which builds OK as byte-code, but building it as native code gives me an error that two of my libs disagree over a standard ocaml library: Files /home/s0567141/lib/ocamlnet/netstring.cmxa and /usr/lib/ocaml/stdlib.cmxa make inconsistent assumptions over implementation Filename The usual protocol of rebuilding the libraries from scratch didn't help. I thought it might be that ocamlnet had been built I don't seem to have some other thing called Filename hanging about. How can I diagnose this? Is there a tool that lets me inspect these .cmxa files to see what assumptions they do make? Any ideas how I might have built the netstring library with strange assumptions on Filename? Thanks in advance, Ezra