diff options
Diffstat (limited to 'devel/mlgmpidl/PRE_BUILD')
| -rwxr-xr-x | devel/mlgmpidl/PRE_BUILD | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/mlgmpidl/PRE_BUILD b/devel/mlgmpidl/PRE_BUILD new file mode 100755 index 0000000000..931397ce43 --- /dev/null +++ b/devel/mlgmpidl/PRE_BUILD @@ -0,0 +1,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 |