with old one, as Ben pointed out.... it installs 3.0 with ppl.
with old one, as Ben pointed out.... it installs 3.0 with ppl.
Hello blorenzJust a short information regarding ppl:
Ubuntu 16.04 provides ppl version 1.1 while polymake 3.2 needs version at least 1.2.
So it does make sense that polymake 3.0 can work with the installed ppl but polymake 3.2 cannot.
Code: Select all
./configure --enable-interfaces=cxx --enable-static=no --enable-documentation=no --prefix=/opt/ppl12
make -j4
make install
Code: Select all
./configure --with-ppl=/opt/ppl12