default_pre_build                        &&
cd ${SOURCE_DIRECTORY}                   &&
cp Makefile.config.model Makefile.config &&
sedit "s:MLGMPIDL_PREFIX \+=:MLGMPIDL_PREFIX = ${INSTALL_ROOT}/usr:" Makefile.config &&
sedit "s:CFLAGS \+=:CFLAGS +=:" Makefile.config &&
make clean &&
rm -f gmp_random_caml.c mpf_caml.c mpfr_caml.c mpq_caml.c mpz_caml.c
