# This file is a shell script fragment that supplies the information
# necessary for a configure script to process the program in
# this directory.  For more information, look at ../configure.

configdirs=tests
srctrigger=add_ui.c
srcname="GNU Multi-Precision library/mpf"

# per-host:

# per-target: