# This file is auto-generated by 'make config'.
# Options for gmp-5.1.3_2
_OPTIONS_READ=gmp-5.1.3_2
_FILE_COMPLETE_OPTIONS_LIST=CPU_OPTS
OPTIONS_FILE_UNSET+=CPU_OPTS