Hi Roberto! Thanks for the addition to README.Debian. That will be very helpful.
Regarding pkg-config support, have a look at the source code of IPOpt 3.9.0 https://projects.coin-or.org/Ipopt/browser/releases/3.9.0#Ipopt There you'll see a file ipopt.pc.in. That together with a few changes in configure.ac, should constitute pkg-config support. thanks, Oliver -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org