$(MP_LIBRARY) flint

----------
All lines of this file are ignored except the first.
