From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 56310BB91 for ; Mon, 10 Jan 2005 22:41:14 +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 j0ALfDqS005549 for ; Mon, 10 Jan 2005 22:41:14 +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 WAA09564 for ; Mon, 10 Jan 2005 22:41:13 +0100 (MET) Received: from mail.eecs.harvard.edu (bowser.eecs.harvard.edu [140.247.60.24]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0ALfDpf005546 for ; Mon, 10 Jan 2005 22:41:13 +0100 Received: from localhost (localhost.eecs.harvard.edu [127.0.0.1]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 415F854C974 for ; Mon, 10 Jan 2005 16:41:10 -0500 (EST) Received: from mail.eecs.harvard.edu ([127.0.0.1]) by localhost (bowser.eecs.harvard.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 71253-02 for ; Mon, 10 Jan 2005 16:41:10 -0500 (EST) Received: by mail.eecs.harvard.edu (Postfix, from userid 32018) id 18C6154C967; Mon, 10 Jan 2005 16:41:10 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 1614754C95D for ; Mon, 10 Jan 2005 16:41:10 -0500 (EST) Date: Mon, 10 Jan 2005 16:41:10 -0500 (EST) From: Christopher Alexander Stein To: caml-list@inria.fr Subject: Caml source line numbers in custom executable Message-ID: <20050110164053.L50586@bowser.eecs.harvard.edu> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-new at eecs.harvard.edu X-Miltered: at concorde with ID 41E2F67A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41E2F679.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; runtime:01 runtime:01 gcc:01 damien:01 ocamldebug:01 segfaults:01 debugger:01 lex:01 eecs:01 caml:02 caml:02 alexander:02 executable:03 executable:03 routines:03 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: Hi, I am building a custom unstripped ELF executable that contains the Caml runtime. The executable is segfaulting in runtime GC routines. Can someone suggest how to cross reference these routines with the corresponding file and line numbers of the Caml source code so that gcc can tell me where the executable is segfaulting? Thank you Lex ps: Damien, I have tried using ocamldebug. It looks like an excellent tool. In particular, it's time travel features are powerful. However, in this case, it's use is limited by its disconnected socket-based implementation; the executable segfaults and the debugger loses contact.