From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 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 CB476BC6C for ; Mon, 10 Dec 2007 01:09:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAKgSXEeCNhAB/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.23,274,1194217200"; d="scan'208";a="6644228" Received: from kurims.kurims.kyoto-u.ac.jp ([130.54.16.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Dec 2007 01:09:47 +0100 Received: from localhost (orion [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.13.8/8.13.8) with ESMTP id lBA09gY3027642; Mon, 10 Dec 2007 09:09:42 +0900 (JST) Date: Mon, 10 Dec 2007 09:09:25 +0900 (JST) Message-Id: <20071210.090925.227809903.garrigue@math.nagoya-u.ac.jp> To: ogrigorov@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] lablglut, segmentation fault when using menus From: Jacques Garrigue In-Reply-To: References: X-Mailer: Mew version 4.2 on Emacs 22.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; lablglut:01 ocaml:01 cvs:01 camlcvs:01 bazar-ocaml:01 lablgl:01 %22:98 beginners:01 caml-list:01 garrigue:03 garrigue:03 segmentation:03 workaround:03 jacques:03 jacques:03 From: "Orlin Grigorov" > Has anyone found a workaround the problem described here ( > http://lists.debian.org/debian-ocaml-maint/2006/12/msg00062.html) and here ( > http://www.nabble.com/%22ocaml_beginners%22%3A%3A---Glut-Menu-p6624658.html > )? It is fixed in the CVS version, available on camlcvs.inria.fr, directory bazar-ocaml/lablGL. (It is ready for release, but somehow I never get around to it...) Jacques Garrigue