From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A12CFBC57 for ; Wed, 1 Dec 2010 00:18:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4BAPYU9UzAbSoIe2dsb2JhbACDT58+FQEBFiIEHrMLkQcNgRSDM3ME X-IronPort-AV: E=Sophos;i="4.59,282,1288566000"; d="scan'208";a="68885581" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Dec 2010 00:18:17 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178035219.adsl.alicedsl.de [85.178.35.219]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id oAUNI9wO011882 for ; Wed, 1 Dec 2010 00:18:15 +0100 Received: by first (Postfix, from userid 1000) id E6BDF441BD7; Wed, 1 Dec 2010 00:18:04 +0100 (CET) Date: Wed, 1 Dec 2010 00:18:04 +0100 From: oliver@first.in-berlin.de To: caml users Subject: Re: [Caml-list] Tips to find the cause of a seg fault Message-ID: <20101130231804.GB21723@siouxsie> References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Spam: no; 0.00; in-berlin:01 0100,:01 lablgl:01 ocamlsdl:01 segfaults:01 gentoo:01 bytecode:01 makefile:01 ubuntu:98 ubuntu:98 wrote:01 oliver:01 oliver:01 caml-list:01 executables:01 On Wed, Dec 01, 2010 at 12:08:12AM +0100, Philippe Veber wrote: > Short story (details below): I'm currently writing a program relying on > react, lablgl and ocamlsdl. This program segfaults on my laptop under two > linux distributions (ubuntu and gentoo) but doesn't on a PC under ubuntu. > The seg fault occurs with both bytecode and native executables. I don't do [...] A minimal program plus a Makefile would make helping easier. Did you tried the code with a different X-driver? Maybe it's a problem there. Or maybe something is not linked correctly against the X-libs? Just a guess. Ciao, Oliver