temporarily make isl_val_int_from_isl_int available
[platform/upstream/isl.git] / Makefile.am
index be498c7..9ac9ccd 100644 (file)
@@ -138,6 +138,7 @@ libisl_la_SOURCES = \
        isl_union_map.c \
        isl_union_map_private.h \
        isl_val.c \
+       isl_val_gmp.c \
        isl_vec.c \
        isl_version.c \
        isl_vertices_private.h \
@@ -252,6 +253,8 @@ pkginclude_HEADERS = \
        include/isl/union_set.h \
        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