Installing Polymake 3.3 for Ubuntu 18.04
Posted: 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:
Thank you for your help,
JR
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
JR