|
Prev | Next | get_adolc.sh |
bin/get_adolc.sh
build directory.
external/adolc.git below the distribution directory.
bin/get_optional.sh is used for this install.
version='e1fe476'This corresponds to the git master on Nov 13, 2020.
external/adolc-version.configured
exists, the configuration will be skipped.
Delete this file if you want to re-run the configuration.