user_guide:howto:interface_config

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
user_guide:howto:interface_config [2019/01/26 11:02]
oroehrig ↷ Page moved from user_guide:howto:interface_config to install:interface_config
user_guide:howto:interface_config [2019/11/11 23:17] (current)
gawrilow ↷ Page moved from user:howto:interface_config to user_guide:howto:interface_config
Line 1: Line 1:
 ===== Configuring Interfaces ===== ===== Configuring Interfaces =====
  
-polymake comes with a lot of interfaces to [[..:​external_software|third-party software]]. ​ Each interface must be configured before the first use; in the most cases this involves investigations where the required programs and/or configuration files are installed on your machine. The automatic configuration is performed silently, and it only tries to find the programs at some standard locations (e.g. by examining your PATH setting). ​ If this heuristic search fails, the interface is disabled until you intentionally take care of it.  For this purpose, polymake got three new interactive commands dealing with configuration:​+polymake comes with a lot of interfaces to [[user_guide:​external_software|third-party software]]. ​ Each interface must be configured before the first use; in the most cases this involves investigations where the required programs and/or configuration files are installed on your machine. The automatic configuration is performed silently, and it only tries to find the programs at some standard locations (e.g. by examining your PATH setting). ​ If this heuristic search fails, the interface is disabled until you intentionally take care of it.  For this purpose, polymake got three new interactive commands dealing with configuration:​
  
   ? ''​show_unconfigured;''​   ? ''​show_unconfigured;''​
  • user_guide/howto/interface_config.1548500532.txt.gz
  • Last modified: 2019/01/26 11:02
  • by oroehrig