[PPL-devel] [GIT] ppl/ppl(master): Only build `ppl_pl' for checking and install it only when shared libraries are disabled.