In Makefile, the variable GPRINSTALL is used in the install target but it's never defined.
It could be defined just under GPRBUILD variable to
GPRINSTALL= gprinstall -p
Even though the README mentions only the gprbuild/gprinstall procedures, I think it's good to keep a working makefile.
In Makefile, the variable GPRINSTALL is used in the install target but it's never defined. It could be defined just under GPRBUILD variable to
GPRINSTALL= gprinstall -pEven though the README mentions only the gprbuild/gprinstall procedures, I think it's good to keep a working makefile.