Prev | Next | get_ipopt.sh |
bin/get_ipopt.sh
build
directory.
external/Ipopt-version
below the distribution directory.
bin/get_optional.sh
is used for this install.
version='3.13.2'
external/ipopt-version.configured
exists, the configuration will be skipped.
Delete this file if you want to re-run the configuration.