diff -ur mlgmpidl.old/gmp_caml.h mlgmpidl.fix/gmp_caml.h --- mlgmpidl.old/gmp_caml.h 2007-07-11 14:29:31.000000000 +0100 +++ mlgmpidl.fix/gmp_caml.h 2011-01-10 14:14:56.749668553 +0000 @@ -46,10 +46,18 @@ void camlidl_mpfr_ml2c(value val, __mpfr_struct* mpf); static inline value camlidl_mpfr_rnd_t_c2ml(mpfr_rnd_t* rnd) -{ assert(*rnd>=0 && *rnd<GMP_RND_MAX); return Val_int(*rnd); } +{ assert(*rnd>=0 +#ifdef GMP_RND_MAX +&& *rnd<GMP_RND_MAX +#endif +); return Val_int(*rnd); } static inline void camlidl_mpfr_rnd_t_ml2c(value val, mpfr_rnd_t* rnd) -{ *rnd = Int_val(val); assert(*rnd>=0 && *rnd<GMP_RND_MAX); } +{ *rnd = Int_val(val); assert(*rnd>=0 +#ifdef GMP_RND_MAX +&& *rnd<GMP_RND_MAX +#endif +); } #endif #endif diff -ur mlgmpidl.old/gmp_random_caml.c mlgmpidl.fix/gmp_random_caml.c --- mlgmpidl.old/gmp_random_caml.c 2009-04-02 15:25:47.000000000 +0100 +++ mlgmpidl.fix/gmp_random_caml.c 2011-01-10 14:18:18.629822324 +0000 @@ -235,6 +235,7 @@ return Val_unit; } +#if 0 value camlidl_gmp_random_mpfr_random( value _v_ROP) { @@ -246,4 +247,4 @@ camlidl_free(_ctx); return Val_unit; } - +#endif diff -ur mlgmpidl.old/gmp_random.ml mlgmpidl.fix/gmp_random.ml --- mlgmpidl.old/gmp_random.ml 2009-04-02 15:25:47.000000000 +0100 +++ mlgmpidl.fix/gmp_random.ml 2011-01-10 14:18:41.993576806 +0000 @@ -62,8 +62,10 @@ external urandomb : Mpfr.t -> state -> unit = "camlidl_gmp_random_mpfr_urandomb" +(* external random : Mpfr.t -> unit = "camlidl_gmp_random_mpfr_random" +*) end diff -ur mlgmpidl.old/gmp_random.mli mlgmpidl.fix/gmp_random.mli --- mlgmpidl.old/gmp_random.mli 2009-04-02 15:25:47.000000000 +0100 +++ mlgmpidl.fix/gmp_random.mli 2011-01-10 14:18:50.577221427 +0000 @@ -62,8 +62,10 @@ external urandomb : Mpfr.t -> state -> unit = "camlidl_gmp_random_mpfr_urandomb" +(* external random : Mpfr.t -> unit = "camlidl_gmp_random_mpfr_random" +*) end