Message-ID: <437EFF69.8000208 at inria.fr> Date: Sat, 19 Nov 2005 11:33:13 +0100 From: Julien Narboux MIME-Version: 1.0 To: Jacques Garrigue CC: lablgtk at math.nagoya-u.ac.jp Subject: Re: lablgtk version References: <437D9B5C.3090704 at inria.fr> <20051118.195548.63132328.garrigue at math.nagoya-u.ac.jp> <45305.129.104.11.29.1132333404.squirrel at argos.lix.polytechnique.fr> <20051119.030612.36924037.garrigue at math.nagoya-u.ac.jp> In-Reply-To: <20051119.030612.36924037.garrigue at math.nagoya-u.ac.jp> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Jacques Garrigue a écrit : > From: jnarboux@lix.polytechnique.fr > > >>>>I did not find any fonction to find the version of lablgtk, is it >>>>possible to add one ? (We have a problem distributing Coq as lablgtk >>>>2.4.0 and 2.6.0 does not seem to be compatible) >>> >>>GMain.Main.version >> >>Sorry I thought it was the gtk version. > > > Indeed, I misunderstood your question. The above gices you the gtk version. > If you want to check for the lablgtk version at install time, why not > look for a function that only exists in 2.6.0? > > Jacques Yes, we can check for a function that only exists in 2.6.0 (in fact it is what we have done). But in the long term if a bug is fixed in some version of lablgtk and the set of functions does not change, it would just be easier to have the lablgtk version. It is also convenient to have a version function to display it on stderr in case of a crash in our app. I can provide the patch if you want. Regards. Julien