[PPL-devel] ppl.hh in PREFIX/include?

Hey everyone,

I’m currently trying to build and install PPL 1.1 on a development virtual machine, running Debian. When I run:

./configure --enable-interfaces=ocaml --enable-cxx CFLAGS=-g

the shared library, libppl.so etc., are successfully installed to /usr/local/lib (/usr/local is default PREFIX). However, ppl.hh is not being placed into /usr/local/include. Am I missing some configuration?

Thanks,

Ian Sweet