Page 1 of 1

Installing Polymake 3.3 for Ubuntu 18.04

Posted: 07 Mar 2019, 19:45
by jrei
Dear Polymake Team,

Since Version 3.3 doesn't seem to be available in the debian package library i tried to install from source.
I downloaded and unpacked the tar and installed the needed dependencies as described here:
https://polymake.org/doku.php/install/i ... rom_source
However when i try to 'make', i get the following error:

Code: Select all

ninja -C build/Opt all ninja: Entering directory `build/Opt' ninja: fatal: chdir to 'build/Opt' - No such file or directory
Thank you for your help,
JR

Re: Installing Polymake 3.3 for Ubuntu 18.04

Posted: 07 Mar 2019, 22:17
by gawrilow
You should first execute the configure step. Please look at the installation instructions: https://polymake.org/doku.php/install/install