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 PAA18375; Wed, 20 Aug 2003 15:25:30 +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 PAA29192 for ; Wed, 20 Aug 2003 15:25:29 +0200 (MET DST) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h7KDPSf06563 for ; Wed, 20 Aug 2003 15:25:28 +0200 (MET DST) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 19pSxr-00049f-00 for ; Wed, 20 Aug 2003 14:25:27 +0100 Date: Wed, 20 Aug 2003 14:25:27 +0100 To: caml-list@inria.fr Subject: [Caml-list] Getting debugging symbols in ocamlopt-generated executable Message-ID: <20030820132527.GA15864@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; debugging:01 segfault:01 statically:01 afaict:01 ocamlopt:01 libs:01 ocamole-pre:01 ocamole:01 cmx:01 crashes:01 freshmeat:01 dbi:99 threads:01 ltd:98 linked:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (This is a Windows question) I'm trying to debug a segfault which occurs in a natively-compiled executable but not in the bytecode-equivalent program. I suspect that the crash happens in libocamole.lib which is a C++ library linked statically to the program. AFAICT libocamole.lib contains symbols (how the hell _do_ you tell this sort of thing under Windows??). The final link stage is: ocamlopt -w s -I e:/d/cjs/libs/ocamole-pre.3b ocamole.cmxa excel.cmxa exceldemo.cmx -o exceldemo.opt.exe This produces exceldemo.opt.exe (which crashes), but VC++ tells me that this executable doesn't contain any symbols. Debugging the assembly is not much fun. How do I get symbols? Rich. -- Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you. PTHRLIB is a library for writing small, efficient and fast servers in C. HTTP, CGI, DBI, lightweight threads: http://www.annexia.org/freeware/pthrlib/ ------------------- 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