prefix
This is the prefix for installing the optional packages.
It can be changed by editing its setting of
prefix
below
in the file bin/get_optional.sh.
Note that there can only be one setting that is not commented out with
a # at the start of its line.
Absolute Path
If the first character in the prefix is a /,
it is an absolute path; e.g., the following setting:
prefix="$HOME/prefix/cppad"
Relative Path
If the first character in the prefix is not a /,
it is a path relative to the distribution directory;
e.g., the following setting:
prefix="build/prefix"
Configuration
If you do an install and then change the
prefix
,
you should delete all the files listed by the following command:
ls external/*.configured
get_optional.log
This file contains the standard out output for each of the optional scripts
in the order that they are executed.
get_optional.err
This file contains the standard error output for each of the optional scripts
in the order that they are executed.