Solving build problems with ppl and glpk on custom paths

When building with the following command line:

./configure --ppl-prefix ~/installs/ppl-1.2/ --glpk-prefix ~/installs/glpk-5.0/ --prefix ~/installs/apron/
make

having ppl and glpk installed to custom directories make few cc/ld errors appear:

from fppol/Makefile:214:

rlp.h:22:10: fatal error: glpk.h: No such file or directory
22 | #include <glpk.h> /* linear programming lib */
   |          ^~~~~~~~

from ppl/Makefile:205:

/usr/bin/ld: cannot find -lppl: No such file or directory

from products/Makefile:182:

/usr/bin/ld: cannot find -lppl: No such file or directory

The correct library includes are now passed along the command lines that had problems.

antoinemine / apron