| Both sides previous revision Previous revision Next revision | Previous revision |
| howto:configure [2019/01/25 15:03] – ↷ Links adapted because of a move operation oroehrig | install:configure [2021/01/12 15:44] (current) – [Configuring polymake for a group of users] gawrilow |
|---|
| ====== Configuring polymake for a group of users ====== | ====== Configuring polymake for a group of users ====== |
| |
| Let's suppose you want to share your polymake installation with your colleagues or to prepare it for students in your class. First of all, you have to choose an installation location accessible from all computers in your lab (for example, an NFS or Samba share), and pass it to the [[install#configuration|build configuration]] script. After having completed the installation by calling ''make install'', you'll surely be curious to see whether it works at all. You'll start it, do some little exercises, and probably check for additional software you might need. To get the first overview, use the commands ''show_credits'' and ''show_unconfigured'' . Then, if you miss something, you'll install it - again, at some commonly accessible location - and [[:general#configuration|reconfigure]] the corresponding polymake interfaces. You might also want to add some [[reference:extensions]] to your installation and configure them as well. | Let's suppose you want to share your polymake installation with your colleagues or to prepare it for students in your class. First of all, you have to choose an installation location accessible from all computers in your lab (for example, an NFS or Samba share), and pass it to the [[install#configuration|build configuration]] script. After having completed the installation by calling ''make install'', you'll surely be curious to see whether it works at all. You'll start it, do some little exercises, and probably check for additional software you might need. To get the first overview, use the commands ''show_credits'' and ''show_unconfigured'' . Then, if you miss something, you'll install it - again, at some commonly accessible location - and [[:user_guide:howto:interface_config|reconfigure]] the corresponding polymake interfaces. You might also want to add some [[:user_guide:extend:extensions]] to your installation and configure them as well. |
| |
| Now everything is ready to be published - but anyone else starting to work with your installation will have to repeat all the configuration steps you've already made. You'll have to write down detailed instructions and hand them out to each new user. Moreover, if you decide to add some external software component or an extension later, you'll have to notify all your co-workers once again. Isn't it tedious? | Now everything is ready to be published - but anyone else starting to work with your installation will have to repeat all the configuration steps you've already made. You'll have to write down detailed instructions and hand them out to each new user. Moreover, if you decide to add some external software component or an extension later, you'll have to notify all your co-workers once again. Isn't it tedious? |
| |
| ''reset_custom'' reverts the given custom variable to the value inherited from the global configuration, rather than to the default value as specified in the rule files. To enforce the latter, you'll have to use ''set_custom'' with an explicit value. | ''reset_custom'' reverts the given custom variable to the value inherited from the global configuration, rather than to the default value as specified in the rule files. To enforce the latter, you'll have to use ''set_custom'' with an explicit value. |
| | |