Sender: lebotlan at beaune.inria.fr Message-ID: <3CC961AF.2076EFF2 at beaune.inria.fr> Date: Fri, 26 Apr 2002 16:18:23 +0200 From: Didier Le Botlan Organization: INRIA (Projet CRISTAL) MIME-Version: 1.0 To: lablgtk at kaba.or.jp Subject: Build and thread problem. Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit 1 - Thread problem : When I use 'Thread.create myfunction myarg', it takes from 30 seconds to 1 minute for the launched thread to start. It is very likely to be related to lablgtk since launching a thread in a simple test code not using lablgtk takes a few milliseconds. I thought that upgrading lablgtk might be useful. 2 - Multiple build problems. I tried 'lablgtk-20020225.tar.gz': 'make' works, but 'make opt' fails: 'make && make opt' produces [compiling...] ocamlopt -w s -c gtkArgv.ml ocamlopt -w s -c gtkSignal.ml The compiled interfaces gaux.cmi and gtkSignal.cmi make inconsistent assumptions over interface Gaux 'make clean && make opt' produces [compiling...] ocamlc -w s -c gToolbox.mli ocamlc -w s -c gToolbox.ml ./varcc gdk_tags.var make[1]: ./varcc : Command not found. I tried multiple solutions (like copying varcc from elsewhere), but it always fails with a message of the kind The compiled interfaces gaux.cmi and gtkSignal.cmi make inconsistent assumptions over interface Gaux -- Didier Le Botlan http://cristal.inria.fr/~lebotlan/