From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jake.donham@gmail.com>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id E7557BC37
	for <caml-list@yquem.inria.fr>; Tue, 29 Dec 2009 04:39:44 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqwBAN4IOUvRVdiwi2dsb2JhbACTXocyPwEBAQoLCgcRrE2FG4dGAQIDBYQuBIsu
X-IronPort-AV: E=Sophos;i="4.47,466,1257116400"; 
   d="scan'208";a="42866702"
Received: from mail-px0-f176.google.com ([209.85.216.176])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Dec 2009 04:39:44 +0100
Received: by pxi6 with SMTP id 6so5923396pxi.0
        for <caml-list@inria.fr>; Mon, 28 Dec 2009 19:39:43 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:received:in-reply-to
         :references:from:date:x-google-sender-auth:message-id:subject:to:cc
         :content-type;
        bh=59cGqv7VQV9pil6tCvme1NKbGommiJ18lMZDLqD6uxE=;
        b=g/9TtMZbgioFRNfEU+foWBjZEhTE8ILRfNdo3bViy6vfWf0gEizfR+pSIkpUEhOgmI
         J3+FpX2iWNcxWuhYlOwTAQzRmorpzWtbqgrlw+95maUwsFPpoJVZVIMjrWqP+FQMENqD
         at+SSBRfqCUQLCHlyqozG8YJBPYl1DdqAfWk0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        b=rALR7mOoWR36Kv2lGaJ4Pev3RAxqY3zZD0YfKo/1mbWcLz+Cv6E3Kvsj/Y2HA+yKo0
         nbYdlEQOxY3j86Z9/H6+Ykbgmz4U3GM/L6jN0fk4hcJr3POdau+qhlfbtsMJ1eea8Jku
         /5dktXZxeFNy5ouxDWcSVyk9Wzh58eXK1QZq4=
MIME-Version: 1.0
Sender: jake.donham@gmail.com
Received: by 10.142.209.20 with SMTP id h20mr11054842wfg.130.1262057983070; 
	Mon, 28 Dec 2009 19:39:43 -0800 (PST)
In-Reply-To: <4B37D2AD.5000600@citycable.ch>
References: <4B352731.2060306@citycable.ch> <20091227114253.a0a9ff49.ygrekheretix@gmail.com> 
	<4B3750D8.8000209@citycable.ch> <20091227232724.f95c1105.ygrekheretix@gmail.com> 
	<4B37D2AD.5000600@citycable.ch>
From: Jake Donham <jake@donham.org>
Date: Mon, 28 Dec 2009 19:39:23 -0800
X-Google-Sender-Auth: f5b6e5c04f8c1c5d
Message-ID: <c7e4e9f0912281939n1dc34ae6u7f72fff27aa26e21@mail.gmail.com>
Subject: Re: [Caml-list] Wrapping C code using pthread.
To: guillaume.yziquel@citycable.ch
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; guillaume:01 guillaume:01 gdb:01 bytecode:01 segfault:01 gdb:01 ocamlrun:01 bytecode:01 -custom:01 2009:98 wrote:01 caml-list:01 argument:02 executable:03 dec:05 

On Sun, Dec 27, 2009 at 1:33 PM, Guillaume Yziquel
<guillaume.yziquel@citycable.ch> wrote:
> If someone knows how to use gdb on a bytecode executable to locate the
> segfault in MonetDB's .so file, I'd be quite happy to know.

You can just gdb ocamlrun, then run with the bytecode file as
argument. (Assuming you are not building in -custom mode.)