REP_INC_DIR += include/mpfr
INC_DIR     += $(call select_from_ports,mpfr)/include/mpfr