Re: [gecode-users] Version of gecode

2008-04-03 Thread Guido Tack
Mauricio Toro wrote: > Is there other way without pkg-config? > > pkg-config can be installed in mac os X, > but it is not installed by default. Then > it would be required to install pkg-config > before running the installer of Gecol. That depends on how you install Gecode. If the pkg-config fi

Re: [gecode-users] Version of gecode

2008-04-03 Thread Mauricio Toro
Is there other way without pkg-config? pkg-config can be installed in mac os X, but it is not installed by default. Then it would be required to install pkg-config before running the installer of Gecol. Thanks 2008/4/3, Guido Tack <[EMAIL PROTECTED]>: > Mauricio Toro wrote: > > > > How can I kno

Re: [gecode-users] Version of gecode

2008-04-03 Thread 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-users] Version of gecode

2008-04-03 Thread Mauricio Toro
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. Thanks -- Mauricio Toro Bermudez Estudiante de Ingeniería de Sistemas Pontificia Universidad Javeriana, Colombia Stagiare à l'Ircam 1, place