Page 2 of 2

Re: Running into error with 3.2 installation

Posted: 31 Jan 2018, 15:23
by gawrilow
... it installs 3.0 with ppl.
with old one, as Ben pointed out.

Re: Running into error with 3.2 installation

Posted: 02 Mar 2018, 10:52
by UserCplex
Just 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.
Hello blorenz

Could you let me know how on ubuntu I can install ppl version 1.2? I want to upgrade to polymake 3.2 on ubuntu 16.04 LTS.

Thank you.

Re: Running into error with 3.2 installation

Posted: 02 Mar 2018, 11:10
by blorenz
Since ppl 1.2 is not available as a package for Ubuntu 16.04 you need to download and install it manually, it is available here.

Something like the following should work for the installation, please check the INSTALL and README.configure files in the ppl package for more information.

Code: Select all

./configure --enable-interfaces=cxx --enable-static=no --enable-documentation=no --prefix=/opt/ppl12 make -j4 make install
Then you need to configure polymake to use this ppl installation with

Code: Select all

./configure --with-ppl=/opt/ppl12
Best
Benjamin

Re: Running into error with 3.2 installation

Posted: 07 Mar 2018, 09:29
by gawrilow
Another option is to run polymake docker image, it comes equipped with ppl 1.2 (and many other things).