Date: Sat, 19 Nov 2005 03:06:12 +0900 (JST)
Message-Id: <20051119.030612.36924037.garrigue at math.nagoya-u.ac.jp>
To: jnarboux at lix.polytechnique.fr
Cc: lablgtk at math.nagoya-u.ac.jp
Subject: Re: lablgtk version
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
In-Reply-To: <45305.129.104.11.29.1132333404.squirrel at argos.lix.polytechnique.fr>
References: <437D9B5C.3090704 at inria.fr>
	<20051118.195548.63132328.garrigue@math.nagoya-u.ac.jp>
	<45305.129.104.11.29.1132333404.squirrel@argos.lix.polytechnique.fr>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

From: jnarboux at 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