[gecode-users] Version of gecode

[Guido Tack]

Mauricio Toro wrote:

> How can I know which version of Gecode I have installed?
> Right know I am checking if the library filenames end up with 10, 9  
> 10.0
> but it is kind of messy.

You can use pkg-config.  E.g.,

pkg-config --modversion gecode

will print the version to stdout (provided that Gecode is installed  
somewhere on the PKG_CONFIG_PATH).  You can also use pkg-config to  
check that a certain version is available, e.g.

pkg-config --exact-version=2.1.1 gecode

will succeed if the version is found and fail otherwise.  See the pkg- 
config man page for more options.

Cheers,
	Guido