_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
Does gecode provide any way to find it on a system with a build system
(eg. pkg-config script, gecode-config bash script or similar)?
- [gecode-users] Finding gecode with a build syste... Richard Connon
- Re: [gecode-users] Finding gecode with a bu... Gustavo A . Gómez Farhat
- Re: [gecode-users] Finding gecode with ... Guido Tack
