temporarily make isl_val_int_from_isl_int available

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/Makefile.am b/Makefile.am
index bb25f1d..9ac9ccd 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -254,6 +254,7 @@ pkginclude_HEADERS = \
        include/isl/union_set_type.h \
        include/isl/val.h \
        include/isl/val_gmp.h \
+       include/isl/val_int.h \
        include/isl/vec.h \
        include/isl/version.h \
        include/isl/vertices.h

diff --git a/doc/user.pod b/doc/user.pod
index 5468621..ee8ce0c 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -520,6 +520,16 @@ C<GMP> values using the following functions.
        int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
        int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z);
 
+=head3 Conversion from C<isl_int>
+
+The following function is only temporarily available to ease
+the transition from C<isl_int> to C<isl_val>.  It will be removed
+in the next release.
+
+       #include <isl/val_int.h>
+       __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx,
+               isl_int n);
+
 =head2 Integers (obsolescent)
 
 All operations on integers, mainly the coefficients

diff --git a/include/isl/val_int.h b/include/isl/val_int.h
new file mode 100644 (file)
index 0000000..3f8bc20
--- /dev/null
+++ b/include/isl/val_int.h
@@ -0,0 +1,9 @@
+#ifndef ISL_VAL_INT_H
+#define ISL_VAL_INT_H
+
+#include <isl/int.h>
+#include <isl/val.h>
+
+__isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n);
+
+#endif