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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
