blob: 931397ce4351bd9a32703d6fe56eec9d19c9a5c8 (
plain) (
blame)
1
2
3
4
5
6
7
|
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
|