$(MP_LIBRARY) flint arb

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