Installing Polymake 3.3 for Ubuntu 18.04

Discussions on installation issues go here.
jrei
Posts: 15
Joined: 31 Jan 2019, 15:37

Installing Polymake 3.3 for Ubuntu 18.04

Postby jrei » 07 Mar 2019, 19:45

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

User avatar
gawrilow
Main Author
Posts: 423
Joined: 25 Dec 2010, 17:40

Re: Installing Polymake 3.3 for Ubuntu 18.04

Postby gawrilow » 07 Mar 2019, 22:17

You should first execute the configure step. Please look at the installation instructions: https://polymake.org/doku.php/install/install


Return to “Installing polymake”