On UBUNTU you can install PPL via

$ sudo apt-get install libppl-dev