From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 28 May 2013 12:00:51 +0000 (+0200)
Subject: temporarily make isl_val_int_from_isl_int available
X-Git-Tag: isl-0.12~45
X-Git-Url: http://review.tizen.org/git/?p=platform%2Fupstream%2Fisl.git;a=commitdiff_plain;h=7bc3560a92635b5dcf7eb9e7329992fc935a1ce2

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
--- 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
--- 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
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