Differences

This shows you the differences between two versions of the page.

--- install:macos [2024/04/11 16:57] – [Install dependencies with Homebrew] paffenholz
+++ install:macos [2026/09/17 12:17] (current) – external edit 127.0.0.1
@@ Line 100: / Line 100: @@
 <code>
 cd Downloads
-tar -xvjf polymake-4.11.tar.bz2
+tar -xvjf polymake-4.13.tar.bz2
 </code>
@@ Line 107: / Line 107: @@
 === Compilation ===
-Essentially, polymake is compiled and installed with the following commands. This will put the polymake binary into ''/usr/local''. You may have to use ''sudo'' for installing.
+Finally, we can compile and install polymake. This requires one more choice on your side.
+  - You may opt to install polymake into the standard installation location for additional software on your computer. This will place the compiled version of polymake into the directory ''/usr/local''.
+  - You may also provide a separate directory in your home folder for the compiled version of polymake.
+For the first option you will need administrator permissions for your computer and probably prefix the commands below with ''sudo''. The advantage of this choice is, that ''/usr/local/'' is contained in the search path for programs, and polymake will directly be found.
+Advantage of the second option is, that you do not need administrator permissions for the installation, and have all files related to polymake in one location. This makes it easier to install new versions or remove polymake. We strongly recommend the second option.
+If you opt to install into a subfolder of your home folder, then please create one before proceeding. For this, create a folder with
 <code>
-cd ~/Downloads/polymake-4.11
+mkdir $HOME/<polymake_install_folder>
-./configure --without-java
-ninja -C build/Opt -j2 install
 </code>
+where ''<polymake_install_folder>'' is a name of your choice, e.g. ''polymake_bin''. You will need the name of the folder for the commands below.
-However, we recommend to install into a directory in your ''$HOME''-folder. For this, create a folder with
+In the command below, you will also need to replace all occurences of ''<brew-install-location>'' by
+  * ''/usr/local/'' if you have an Intel Mac and installed brew in the default location
+  * ''/opt/homebrew'' if you have an M1/M2/M3 Mac and installed brew in the default location
+  * with the directory you installed brew into, if you chose a nonstandard location for the installation
+Finally, we can compile polymake. If you chose option 1. above, then compile with:
 <code>
-mkdir $HOME/<polymake_install_folder>
+cd ~/Downloads/polymake-4.13
+./configure --without-java --with-brew=<brew-install-location>
+ninja -C build/Opt -j2 install
 </code>
-where ''<polymake_install_folder>'' is a name of your choice, e.g. ''polymake_bin''. Then compile and install with (replace with the correct folder name!)
+If you chose option 2., then compile with
 <code>
-cd ~/Downloads/polymake-4.11
+cd ~/Downloads/polymake-4.13
-./configure --without-java --prefix=$HOME/<polymake_install_folder>
+./configure --without-java --with-brew=<brew-install-location> --prefix=$HOME/<polymake_install_folder>
 ninja -C build/Opt -j2 install
 </code>
@@ Line 131: / Line 144: @@
 $HOME/<polymake_install_folder>/bin/polymake
 </code>
-or add ''$HOME/<polymake_install_folder>/bin/'' to your path.
+or just
+<code>
+polymake
+</code>
+if you chose option 1.. For option 2., if you first do
+<code>
+export PATH=$PATH:''$HOME/<polymake_install_folder>/bin/''
+</code>
+in a terminal, then you can also start polymake by just typing ''polymake''. You can add this line also at the end of the file ''$HOME/.zshrc'' to add the polymake installation folder to the path permanently.
 === Configuration ===
@@ Line 137: / Line 159: @@
 If you use ''Safari'' as your default browser, then you need to switch to another one for polymake. Please do
 <code>
-set_custom $Visual::webbrowser=open -a "Firefox"
+set_custom $Visual::webbrowser="open -a Firefox";
 </code>
 inside the polymake shell. Replace ''Firefox'' by ''Google Chrome'' if you prefer this browser.