/usr/share/polymake/support/install.pl.template is in polymake-common 3.2r2-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # This is a template for an optional script installing non-standard artifacts
# like java archives or other resources built in a bundled or standalone extension.
# Please edit it according to your needs and rename it to install.pl
# If you don't need it, you can safely delete this file right now.
# This script can use any subroutines defined in the main install.pl script
# (to be found in the support directory of the core polymake system)
# like make_dir, copy_dir, or copy_file.
# The configuration values of the extension can be found in the global hash %ConfigFlags.
# The global variable $ext_root points to the top directory of the extension.
# The global variable $buildir points to the build directory of the extension, usually
# it will be $ext_root/build/Opt .
# The global variable $root points to the top directory of the core polymake system.
# A bundled extension should install all binaries specific for a system architecture
# into an appropriate subdirectory of $InstallArch and everything else into subdirectories
# of $InstallTop. For a standalone extension, the corresponding destination directories
# are $ExtArch and $ExtTop.
# Examples can be found in bundled extensions java and jreality.
|