Blob Blame History Raw
--- ./mlapronidl/apron_caml.c.orig	2009-09-11 12:00:29.000000000 -0600
+++ ./mlapronidl/apron_caml.c	2013-02-14 10:26:50.578327765 -0700
@@ -5,6 +5,7 @@
 /* This file is part of the APRON Library, released under LGPL license.
    Please read the COPYING file packaged in the distribution  */
 
+#include <caml/camlidlruntime.h>
 #include "apron_caml.h"
 
 /* ********************************************************************** */
@@ -83,7 +84,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_linexpr0_ptr_compare,
   camlidl_apron_linexpr0_ptr_hash,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 /* ********************************************************************** */
@@ -117,7 +119,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_texpr0_ptr_compare,
   camlidl_apron_texpr0_ptr_hash,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 /* ********************************************************************** */
@@ -148,7 +151,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_manager_ptr_compare,
   custom_hash_default,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 void camlidl_apron_manager_check_exception(struct ap_manager_t* man, void* _ctx)
@@ -261,7 +265,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_abstract0_ptr_compare,
   camlidl_apron_abstract0_ptr_hash,
   camlidl_apron_abstract0_serialize,
-  camlidl_apron_abstract0_deserialize
+  camlidl_apron_abstract0_deserialize,
+  custom_compare_ext_default
 };
 
 /* ********************************************************************** */
@@ -316,7 +321,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_var_ptr_compare,
   camlidl_apron_var_ptr_hash,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 /* ********************************************************************** */
@@ -356,7 +362,8 @@ struct custom_operations camlidl_apron_c
   camlidl_apron_environment_ptr_compare,
   camlidl_apron_environment_ptr_hash,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 value camlidl_apron_environment_ptr_c2ml(ap_environment_ptr* p)
--- ./mlapronidl/scalar.ml.orig	2009-12-22 06:43:20.000000000 -0700
+++ ./mlapronidl/scalar.ml	2013-02-14 10:26:22.182358360 -0700
@@ -89,7 +89,7 @@ match scalar with
 | Mpfrf x ->
 let y = Mpfr.init2 (Mpfr.get_prec x) in
 ignore (Mpfr.neg y x Mpfr.Up);
-Mpfrf(Mpfrf.mpfrf y)
+Mpfrf(Mpfrf._mpfrf y)
 	     | Float x -> Float(-. x)
 let to_string scalar =
 match scalar with