Re: Running into error with 3.2 installation
Posted: 31 Jan 2018, 15:23
with old one, as Ben pointed out.... it installs 3.0 with ppl.
The polymake forum
https://forum.polymake.org/
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