[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-4-1-gd1b7528

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d1b75287131b5406990734afcb5030ffc25485e5
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 17 11:43:15 2010 +0200

    Add mpfr_random.diff (Closes: #589359)

diff --git a/debian/changelog b/debian/changelog
index 4175c23..03ee817 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+apron (0.9.10-5) UNRELEASED; urgency=low
+
+  * Add mpfr_random.diff (Closes: #589359)
+
+ -- Stéphane Glondu <glondu at debian.org>  Sat, 17 Jul 2010 11:44:23 +0200
+
 apron (0.9.10-4) unstable; urgency=low
 
   [ Mehdi Dogguy ]
diff --git a/debian/patches/mpfr_random.diff b/debian/patches/mpfr_random.diff
new file mode 100644
index 0000000..a8a98c0
--- /dev/null
+++ b/debian/patches/mpfr_random.diff
@@ -0,0 +1,137 @@
+From 481f69dd75fa51ff714f0956df1a4fe09c12684d Mon Sep 17 00:00:00 2001
+From: Stephane Glondu <steph at glondu.net>
+Date: Sat, 17 Jul 2010 11:22:38 +0200
+Subject: [PATCH] Remove references to obsolete mpfr_random
+
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ mlgmpidl/gmp_random.idl         |    1 -
+ mlgmpidl/gmp_random.ml          |    3 ---
+ mlgmpidl/gmp_random.mli         |    3 ---
+ mlgmpidl/gmp_random_caml.c      |   13 -------------
+ mlgmpidl/tmp/gmp_random.idl     |    1 -
+ mlgmpidl/tmp/gmp_random.ml      |    3 ---
+ mlgmpidl/tmp/gmp_random.mli     |    3 ---
+ mlgmpidl/tmp/gmp_random_stubs.c |   13 -------------
+ 8 files changed, 0 insertions(+), 40 deletions(-)
+
+diff --git a/mlgmpidl/gmp_random.idl b/mlgmpidl/gmp_random.idl
+index da3cb0c..90d5793 100644
+--- a/mlgmpidl/gmp_random.idl
++++ b/mlgmpidl/gmp_random.idl
+@@ -61,6 +61,5 @@ quote(MLMLI,"(** {{:http://www.mpfr.org/mpfr-current/mpfr.html#Miscellaneous-Fun
+ quote(MLI,"module Mpfr : sig")
+ quote(ML,"module Mpfr = struct")
+ void mpfr_urandomb (mpfr_ptr ROP, gmp_randstate_ptr STATE);
+-void mpfr_random (mpfr_ptr ROP);
+ quote(MLMLI,"end\n")
+ #endif
+diff --git a/mlgmpidl/gmp_random.ml b/mlgmpidl/gmp_random.ml
+index 5d93cd7..8a8a94e 100644
+--- a/mlgmpidl/gmp_random.ml
++++ b/mlgmpidl/gmp_random.ml
+@@ -62,8 +62,5 @@ module Mpfr = struct
+ external urandomb : Mpfr.t -> state -> unit
+ 	= "camlidl_gmp_random_mpfr_urandomb"
+ 
+-external random : Mpfr.t -> unit
+-	= "camlidl_gmp_random_mpfr_random"
+-
+ end
+ 
+diff --git a/mlgmpidl/gmp_random.mli b/mlgmpidl/gmp_random.mli
+index b54c377..a119aea 100644
+--- a/mlgmpidl/gmp_random.mli
++++ b/mlgmpidl/gmp_random.mli
+@@ -62,8 +62,5 @@ module Mpfr : sig
+ external urandomb : Mpfr.t -> state -> unit
+ 	= "camlidl_gmp_random_mpfr_urandomb"
+ 
+-external random : Mpfr.t -> unit
+-	= "camlidl_gmp_random_mpfr_random"
+-
+ end
+ 
+diff --git a/mlgmpidl/gmp_random_caml.c b/mlgmpidl/gmp_random_caml.c
+index 5680e02..5a10e85 100644
+--- a/mlgmpidl/gmp_random_caml.c
++++ b/mlgmpidl/gmp_random_caml.c
+@@ -234,16 +234,3 @@ value camlidl_gmp_random_mpfr_urandomb(
+   camlidl_free(_ctx);
+   return Val_unit;
+ }
+-
+-value camlidl_gmp_random_mpfr_random(
+-	value _v_ROP)
+-{
+-  mpfr_ptr ROP; /*in*/
+-  struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL };
+-  camlidl_ctx _ctx = &_ctxs;
+-  camlidl_ml2c_mpfr_mpfr_ptr(_v_ROP, &ROP, _ctx);
+-  mpfr_random(ROP);
+-  camlidl_free(_ctx);
+-  return Val_unit;
+-}
+-
+diff --git a/mlgmpidl/tmp/gmp_random.idl b/mlgmpidl/tmp/gmp_random.idl
+index da3cb0c..90d5793 100644
+--- a/mlgmpidl/tmp/gmp_random.idl
++++ b/mlgmpidl/tmp/gmp_random.idl
+@@ -61,6 +61,5 @@ quote(MLMLI,"(** {{:http://www.mpfr.org/mpfr-current/mpfr.html#Miscellaneous-Fun
+ quote(MLI,"module Mpfr : sig")
+ quote(ML,"module Mpfr = struct")
+ void mpfr_urandomb (mpfr_ptr ROP, gmp_randstate_ptr STATE);
+-void mpfr_random (mpfr_ptr ROP);
+ quote(MLMLI,"end\n")
+ #endif
+diff --git a/mlgmpidl/tmp/gmp_random.ml b/mlgmpidl/tmp/gmp_random.ml
+index 3947d52..e495233 100644
+--- a/mlgmpidl/tmp/gmp_random.ml
++++ b/mlgmpidl/tmp/gmp_random.ml
+@@ -59,8 +59,5 @@ module Mpfr = struct
+ external mpfr_urandomb : Mpfr.mpfr_ptr -> gmp_randstate_ptr -> unit
+ 	= "camlidl_gmp_random_mpfr_urandomb"
+ 
+-external mpfr_random : Mpfr.mpfr_ptr -> unit
+-	= "camlidl_gmp_random_mpfr_random"
+-
+ end
+ 
+diff --git a/mlgmpidl/tmp/gmp_random.mli b/mlgmpidl/tmp/gmp_random.mli
+index 974f0a5..811c330 100644
+--- a/mlgmpidl/tmp/gmp_random.mli
++++ b/mlgmpidl/tmp/gmp_random.mli
+@@ -59,8 +59,5 @@ module Mpfr : sig
+ external mpfr_urandomb : Mpfr.mpfr_ptr -> gmp_randstate_ptr -> unit
+ 	= "camlidl_gmp_random_mpfr_urandomb"
+ 
+-external mpfr_random : Mpfr.mpfr_ptr -> unit
+-	= "camlidl_gmp_random_mpfr_random"
+-
+ end
+ 
+diff --git a/mlgmpidl/tmp/gmp_random_stubs.c b/mlgmpidl/tmp/gmp_random_stubs.c
+index 8ea5041..5c8ce74 100644
+--- a/mlgmpidl/tmp/gmp_random_stubs.c
++++ b/mlgmpidl/tmp/gmp_random_stubs.c
+@@ -231,16 +231,3 @@ value camlidl_gmp_random_mpfr_urandomb(
+   camlidl_free(_ctx);
+   return Val_unit;
+ }
+-
+-value camlidl_gmp_random_mpfr_random(
+-	value _v_ROP)
+-{
+-  mpfr_ptr ROP; /*in*/
+-  struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL };
+-  camlidl_ctx _ctx = &_ctxs;
+-  camlidl_ml2c_mpfr_mpfr_ptr(_v_ROP, &ROP, _ctx);
+-  mpfr_random(ROP);
+-  camlidl_free(_ctx);
+-  return Val_unit;
+-}
+-
+-- 
+1.7.1
+
diff --git a/debian/patches/series b/debian/patches/series
index 97f4831..bdfe204 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@ soname.diff
 nonopt.diff
 link
 oct_static
+mpfr_random.diff

-- 
apron packaging