export isl_vec header

diff --git a/Makefile.am b/Makefile.am
index 7e70db8..5d67188 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -79,8 +79,7 @@ libisl_la_SOURCES = \
        isl_tab.c \
        isl_tab.h \
        isl_tab_pip.c \
-       isl_vec.c \
-       isl_vec.h
+       isl_vec.c
 EXTRA_libisl_la_SOURCES = \
        isl_lp_piplib.c \
        isl_lp_no_piplib.c \
@@ -130,7 +129,8 @@ pkginclude_HEADERS = \
        include/isl_polylib.h \
        include/isl_seq.h \
        include/isl_set.h \
-       include/isl_set_polylib.h
+       include/isl_set_polylib.h \
+       include/isl_vec.h
 
 EXTRA_DIST = \
        basis_reduction_templ.c \

diff --git a/isl_vec.h b/include/isl_vec.h
similarity index 100%
rename from isl_vec.h
rename to include/isl_vec.h