isl_basic_map_make_strides_explicit: move down isl_basic_map_get_ctx call
[isl.git] / Makefile.am
blobb2bbe8dbd2b0f1d86d6499dab9ff58301ed28132
1 if HAVE_CLANG
2 if HAVE_CXX11
3 MAYBE_INTERFACE = interface
4 FORCE:
5 interface/extract_interface: FORCE
6         $(MAKE) $(AM_MAKEFLAGS) -C interface extract_interface
7 endif
8 endif
9 SUBDIRS = . $(MAYBE_INTERFACE) doc
10 DIST_SUBDIRS = $(MAYBE_INTERFACE) doc
12 ACLOCAL_AMFLAGS = -I m4
13 AUTOMAKE_OPTIONS = nostdinc subdir-objects
15 lib_LTLIBRARIES = libisl.la
16 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
17         isl_polyhedron_minimize isl_polytope_scan \
18         isl_polyhedron_detect_equalities isl_cat \
19         isl_closure isl_bound isl_schedule isl_codegen isl_test_int \
20         isl_flow isl_flow_cmp isl_schedule_cmp
21 TESTS = isl_test codegen_test.sh pip_test.sh bound_test.sh isl_test_int \
22         flow_test.sh schedule_test.sh
23 if HAVE_CPP_ISL_H
24   CPP_H = include/isl/cpp.h
25 if HAVE_CXX11
26   noinst_PROGRAMS += isl_test_cpp
27   TESTS += isl_test_cpp
28 endif
29 endif
30 if HAVE_CLANG
31 if HAVE_CXX11
32   noinst_PROGRAMS += isl_test_cpp-checked isl_test_cpp-checked-conversion
33   TESTS += isl_test_cpp-checked isl_test_cpp-checked-conversion
34 if HAVE_PYTHON
35   TESTS += isl_test_python.py
36   noinst_PYTHON = interface/isl.py
37   isl_test_python.py: interface/isl.py libisl.la
38 endif
39 endif
40 endif
41 TEST_EXTENSIONS = .py
42 AM_TESTS_ENVIRONMENT = \
43         export PYTHONPATH=interface; \
44         export ISL_DYLD_LIBRARY_PATH=.libs; \
45         export LD_LIBRARY_PATH=".libs:$(LD_LIBRARY_PATH)";
46 PY_LOG_COMPILER = $(PYTHON)
48 if IMATH_FOR_MP
50 MP_SRC = \
51         isl_imath.c \
52         isl_imath.h \
53         isl_int_imath.h \
54         imath_wrap/gmp_compat.h \
55         imath_wrap/imath.h \
56         imath_wrap/imrat.h \
57         imath_wrap/wrap.h \
58         imath_wrap/gmp_compat.c \
59         imath_wrap/imath.c \
60         imath_wrap/imrat.c
62 noinst_PROGRAMS += isl_test_imath
63 TESTS += isl_test_imath
65 if SMALL_INT_OPT
66 MP_SRC += isl_int_sioimath.h \
67         isl_int_sioimath.c \
68         isl_val_sioimath.c
69 else
70 MP_SRC += isl_val_imath.c
71 endif
73 MP_INCLUDE_H =
74 endif
76 if GMP_FOR_MP
77 if NEED_GET_MEMORY_FUNCTIONS
78 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
79 endif
81 MP_SRC = \
82         $(GET_MEMORY_FUNCTIONS) \
83         isl_int_gmp.h \
84         isl_gmp.c \
85         isl_val_gmp.c
87 MP_INCLUDE_H = include/isl/val_gmp.h
88 endif
90 includes = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
91 AM_CPPFLAGS = $(includes) @MP_CPPFLAGS@
92 AM_CFLAGS = @WARNING_FLAGS@ @MP_CFLAGS@
94 libisl_la_SOURCES = \
95         $(MP_SRC) \
96         isl_aff.c \
97         isl_aff_map.c \
98         isl_aff_private.h \
99         isl_affine_hull.c \
100         isl_arg.c \
101         isl_ast.c \
102         isl_ast_private.h \
103         isl_ast_build.c \
104         isl_ast_build_private.h \
105         isl_ast_build_expr.c \
106         isl_ast_build_expr.h \
107         isl_ast_codegen.c \
108         isl_ast_graft.c \
109         isl_ast_graft_private.h \
110         isl_basis_reduction.h \
111         basis_reduction_tab.c \
112         isl_bernstein.c \
113         isl_bernstein.h \
114         isl_blk.c \
115         isl_blk.h \
116         isl_bound.c \
117         isl_bound.h \
118         isl_box.c \
119         isl_coalesce.c \
120         isl_constraint.c \
121         isl_constraint_private.h \
122         isl_convex_hull.c \
123         isl_ctx.c \
124         isl_ctx_private.h \
125         isl_deprecated.c \
126         isl_dim_map.h \
127         isl_dim_map.c \
128         isl_equalities.c \
129         isl_equalities.h \
130         isl_factorization.c \
131         isl_factorization.h \
132         isl_farkas.c \
133         isl_ffs.c \
134         isl_flow.c \
135         isl_fold.c \
136         isl_hash.c \
137         isl_id_to_ast_expr.c \
138         isl_id_to_id.c \
139         isl_id_to_pw_aff.c \
140         isl_ilp.c \
141         isl_ilp_private.h \
142         isl_input.c \
143         isl_int.h \
144         isl_local_private.h \
145         isl_local.h \
146         isl_local.c \
147         isl_local_space_private.h \
148         isl_local_space.c \
149         isl_lp.c \
150         isl_lp_private.h \
151         isl_map.c \
152         isl_map_list.c \
153         isl_map_simplify.c \
154         isl_map_subtract.c \
155         isl_map_private.h \
156         isl_map_to_basic_set.c \
157         isl_mat.c \
158         isl_mat_private.h \
159         isl_morph.c \
160         isl_morph.h \
161         isl_id.c \
162         isl_id_private.h \
163         isl_obj.c \
164         isl_options.c \
165         isl_options_private.h \
166         isl_output.c \
167         isl_output_private.h \
168         isl_point_private.h \
169         isl_point.c \
170         isl_polynomial_private.h \
171         isl_polynomial.c \
172         isl_printer_private.h \
173         isl_printer.c \
174         print.c \
175         isl_range.c \
176         isl_range.h \
177         isl_reordering.c \
178         isl_reordering.h \
179         isl_sample.h \
180         isl_sample.c \
181         isl_scan.c \
182         isl_scan.h \
183         isl_schedule.c \
184         isl_schedule_band.c \
185         isl_schedule_band.h \
186         isl_schedule_node.c \
187         isl_schedule_node_private.h \
188         isl_schedule_read.c \
189         isl_schedule_tree.c \
190         isl_schedule_tree.h \
191         isl_schedule_private.h \
192         isl_schedule_constraints.c \
193         isl_schedule_constraints.h \
194         isl_scheduler.c \
195         isl_set_list.c \
196         isl_sort.c \
197         isl_sort.h \
198         isl_space.c \
199         isl_space_private.h \
200         isl_stream.c \
201         isl_stream_private.h \
202         isl_seq.c \
203         isl_seq.h \
204         isl_set_to_ast_graft_list.c \
205         isl_set_to_ast_graft_list.h \
206         isl_stride.c \
207         isl_tab.c \
208         isl_tab.h \
209         isl_tab_pip.c \
210         isl_tarjan.c \
211         isl_tarjan.h \
212         isl_transitive_closure.c \
213         isl_union_map.c \
214         isl_union_map_private.h \
215         isl_union_set_private.h \
216         isl_val.c \
217         isl_val_private.h \
218         isl_vec_private.h \
219         isl_vec.c \
220         isl_version.c \
221         isl_vertices_private.h \
222         isl_vertices.c \
223         isl_yaml.h
224 libisl_la_LIBADD = @MP_LIBS@
225 libisl_la_LDFLAGS = -version-info @versioninfo@ \
226         @MP_LDFLAGS@
228 isl_test_LDFLAGS = @MP_LDFLAGS@
229 isl_test_LDADD = libisl.la @MP_LIBS@
231 isl_test_int_LDFLAGS = @MP_LDFLAGS@
232 isl_test_int_LDADD = libisl.la @MP_LIBS@
234 if IMATH_FOR_MP
235 isl_test_imath_LDFLAGS = @MP_LDFLAGS@
236 isl_test_imath_LDADD = libisl.la @MP_LIBS@
237 endif
239 isl_polyhedron_sample_LDADD = libisl.la
240 isl_polyhedron_sample_SOURCES = \
241         polyhedron_sample.c
243 isl_pip_LDFLAGS = @MP_LDFLAGS@
244 isl_pip_LDADD = libisl.la @MP_LIBS@
245 isl_pip_SOURCES = \
246         pip.c
248 isl_schedule_LDFLAGS = @MP_LDFLAGS@
249 isl_schedule_LDADD = libisl.la @MP_LIBS@
250 isl_schedule_SOURCES = \
251         schedule.c
253 isl_schedule_cmp_LDFLAGS = @MP_LDFLAGS@
254 isl_schedule_cmp_LDADD = libisl.la @MP_LIBS@
255 isl_schedule_cmp_SOURCES = \
256         schedule_cmp.c
258 isl_flow_LDFLAGS = @MP_LDFLAGS@
259 isl_flow_LDADD = libisl.la @MP_LIBS@
260 isl_flow_SOURCES = \
261         flow.c
263 isl_flow_cmp_LDFLAGS = @MP_LDFLAGS@
264 isl_flow_cmp_LDADD = libisl.la @MP_LIBS@
265 isl_flow_cmp_SOURCES = \
266         flow_cmp.c
268 isl_codegen_LDFLAGS = @MP_LDFLAGS@
269 isl_codegen_LDADD = libisl.la @MP_LIBS@
270 isl_codegen_SOURCES = \
271         codegen.c
273 isl_bound_LDFLAGS = @MP_LDFLAGS@
274 isl_bound_LDADD = libisl.la @MP_LIBS@
275 isl_bound_SOURCES = \
276         bound.c
278 isl_polyhedron_minimize_LDFLAGS = @MP_LDFLAGS@
279 isl_polyhedron_minimize_LDADD = libisl.la @MP_LIBS@
280 isl_polyhedron_minimize_SOURCES = \
281         polyhedron_minimize.c
283 isl_polytope_scan_LDADD = libisl.la
284 isl_polytope_scan_SOURCES = \
285         polytope_scan.c
287 isl_polyhedron_detect_equalities_LDADD = libisl.la
288 isl_polyhedron_detect_equalities_SOURCES = \
289         polyhedron_detect_equalities.c
291 isl_cat_LDADD = libisl.la
292 isl_cat_SOURCES = \
293         cat.c
295 isl_closure_LDADD = libisl.la
296 isl_closure_SOURCES = \
297         closure.c
299 isl_test_cpp_SOURCES = \
300         isl_test_cpp.cc \
301         include/isl/cpp.h
302 isl_test_cpp_LDFLAGS = @MP_LDFLAGS@
303 isl_test_cpp_LDADD = libisl.la @MP_LIBS@
305 isl_test_cpp_checked_SOURCES = \
306         isl_test_cpp-checked.cc \
307         include/isl/cpp-checked.h
308 isl_test_cpp_checked_LDFLAGS = @MP_LDFLAGS@
309 isl_test_cpp_checked_LDADD = libisl.la @MP_LIBS@
311 isl_test_cpp_checked_conversion_SOURCES = \
312         isl_test_cpp-checked-conversion.cc \
313         include/isl/cpp-checked-conversion.h
314 isl_test_cpp_checked_conversion_LDFLAGS = @MP_LDFLAGS@
315 isl_test_cpp_checked_conversion_LDADD = libisl.la @MP_LIBS@
317 # dummy library that captures the dependencies on all headers
318 # that are relevant for the bindings
319 noinst_LIBRARIES = libdep.a
320 libdep_a_SOURCES = dep.c
322 if HAVE_CLANG
323 if HAVE_CXX11
324 interface/isldlname.py: libisl.la
325         $(AM_V_GEN) $(GREP) dlname $< | $(SED) -e 's/dlname/isl_dlname/' > $@
326 interface/isl.py: interface/extract_interface libdep.a python/isl.py.top \
327                 interface/isldlname.py
328         (cat interface/isldlname.py $(srcdir)/python/isl.py.top && \
329                 interface/extract_interface$(EXEEXT) --language=python \
330                         $(includes) $(srcdir)/all.h) \
331                         > $@ || (rm $@ && false)
333 include/isl/cpp.h: interface/extract_interface libdep.a \
334                 cpp/cpp.h.top cpp/cpp.h.pre cpp/cpp.h.bot
335         $(MKDIR_P) "include/isl/cpp" && \
336         (cat $(srcdir)/cpp/cpp.h.top $(srcdir)/all.h \
337             $(srcdir)/cpp/cpp.h.pre && \
338                 interface/extract_interface$(EXEEXT) --language=cpp \
339                         $(includes) $(srcdir)/all.h && \
340                 cat $(srcdir)/cpp/cpp.h.bot) \
341                         > $@ || (rm $@ && false)
343 include/isl/cpp-checked.h: interface/extract_interface libdep.a \
344                 cpp/cpp-checked.h.top \
345                 cpp/cpp-checked.h.pre cpp/cpp-checked.h.bot
346         (cat $(srcdir)/cpp/cpp-checked.h.top $(srcdir)/all.h \
347             $(srcdir)/cpp/cpp-checked.h.pre && \
348                 interface/extract_interface$(EXEEXT) \
349                         --language=cpp-checked \
350                         $(includes) $(srcdir)/all.h && \
351                 cat $(srcdir)/cpp/cpp-checked.h.bot) \
352                         > $@ || (rm $@ && false)
354 include/isl/cpp-checked-conversion.h: interface/extract_interface libdep.a \
355                 cpp/cpp-checked-conversion.h.top \
356                 cpp/cpp-checked-conversion.h.bot
357         (cat $(srcdir)/cpp/cpp-checked-conversion.h.top && \
358                 interface/extract_interface$(EXEEXT) \
359                         --language=cpp-checked-conversion \
360                         $(includes) $(srcdir)/all.h && \
361                 cat $(srcdir)/cpp/cpp-checked-conversion.h.bot) \
362                         > $@ || (rm $@ && false)
363 endif
364 endif
366 nodist_pkginclude_HEADERS = \
367         include/isl/stdint.h
368 pkginclude_HEADERS = \
369         $(CPP_H) \
370         $(MP_INCLUDE_H) \
371         include/isl/aff.h \
372         include/isl/aff_type.h \
373         include/isl/arg.h \
374         include/isl/ast.h \
375         include/isl/ast_type.h \
376         include/isl/ast_build.h \
377         include/isl/constraint.h \
378         include/isl/ctx.h \
379         include/isl/fixed_box.h \
380         include/isl/flow.h \
381         include/isl/id.h \
382         include/isl/id_type.h \
383         include/isl/id_to_ast_expr.h \
384         include/isl/id_to_id.h \
385         include/isl/id_to_pw_aff.h \
386         include/isl/ilp.h \
387         include/isl/hash.h \
388         include/isl/hmap.h \
389         include/isl/hmap_templ.c \
390         include/isl/list.h \
391         include/isl/local_space.h \
392         include/isl/lp.h \
393         include/isl/mat.h \
394         include/isl/map.h \
395         include/isl/map_to_basic_set.h \
396         include/isl/map_type.h \
397         include/isl/maybe.h \
398         include/isl/maybe_ast_expr.h \
399         include/isl/maybe_basic_set.h \
400         include/isl/maybe_id.h \
401         include/isl/maybe_pw_aff.h \
402         include/isl/maybe_templ.h \
403         include/isl/multi.h \
404         include/isl/obj.h \
405         include/isl/options.h \
406         include/isl/point.h \
407         include/isl/polynomial.h \
408         include/isl/polynomial_type.h \
409         include/isl/printer.h \
410         include/isl/printer_type.h \
411         include/isl/schedule.h \
412         include/isl/schedule_node.h \
413         include/isl/schedule_type.h \
414         include/isl/set.h \
415         include/isl/set_type.h \
416         include/isl/space.h \
417         include/isl/space_type.h \
418         include/isl/stream.h \
419         include/isl/stride_info.h \
420         include/isl/union_map.h \
421         include/isl/union_map_type.h \
422         include/isl/union_set.h \
423         include/isl/union_set_type.h \
424         include/isl/val.h \
425         include/isl/val_type.h \
426         include/isl/vec.h \
427         include/isl/version.h \
428         include/isl/vertices.h
430 if HAVE_CLANG
431 if HAVE_CXX11
432     CPP_INTERFACES = \
433         include/isl/cpp.h \
434         include/isl/cpp-checked.h \
435         include/isl/cpp-checked-conversion.h
436 endif
437 endif
438 BUILT_SOURCES = gitversion.h $(CPP_INTERFACES)
439 CLEANFILES = \
440         gitversion.h \
441         interface/isldlname.py \
442         interface/isl.py \
443         interface/isl.pyc \
444         $(CPP_INTERFACES)
446 DISTCLEANFILES = \
447         isl-uninstalled.sh \
448         isl-uninstalled.pc \
449         isl.pc \
450         isl.pc.in \
451         include/isl/stdint.h
453 EXTRA_DIST = \
454         LICENSE \
455         isl_config_post.h \
456         isl_aff_lex_templ.c \
457         isl_align_params_templ.c \
458         isl_align_params_bin_templ.c \
459         basis_reduction_templ.c \
460         isl_bind_domain_templ.c \
461         bset_to_bmap.c \
462         bset_from_bmap.c \
463         isl_check_named_params_templ.c \
464         check_reparse_templ.c \
465         check_reparse_test_templ.c \
466         check_type_range_templ.c \
467         isl_domain_factor_templ.c \
468         extract_key.c \
469         has_single_reference_templ.c \
470         isl_list_macro.h \
471         isl_list_templ.c \
472         isl_list_templ.h \
473         isl_map_bound_templ.c \
474         isl_map_lexopt_templ.c \
475         isl_maybe_ast_graft_list.h \
476         isl_maybe_map.h \
477         isl_multi_macro.h \
478         isl_multi_bind_templ.c \
479         isl_multi_explicit_domain.c \
480         isl_multi_pw_aff_explicit_domain.c \
481         isl_multi_union_pw_aff_explicit_domain.c \
482         isl_multi_no_explicit_domain.c \
483         isl_multi_no_domain_templ.c \
484         isl_multi_templ.c \
485         isl_multi_templ.h \
486         isl_multi_add_constant_templ.c \
487         isl_multi_align_templ.c \
488         isl_multi_align_set.c \
489         isl_multi_align_union_set.c \
490         isl_multi_apply_templ.c \
491         isl_multi_apply_set.c \
492         isl_multi_apply_union_set.c \
493         isl_multi_arith_templ.c \
494         isl_multi_bind_domain_templ.c \
495         isl_multi_cmp.c \
496         isl_multi_coalesce.c \
497         isl_multi_dim_id_templ.c \
498         isl_multi_dims.c \
499         isl_multi_domain_templ.c \
500         isl_multi_floor.c \
501         isl_multi_from_base_templ.c \
502         isl_multi_gist.c \
503         isl_multi_hash.c \
504         isl_multi_intersect.c \
505         isl_multi_identity_templ.c \
506         isl_multi_locals_templ.c \
507         isl_multi_min_max_templ.c \
508         isl_multi_move_dims_templ.c \
509         isl_multi_nan_templ.c \
510         isl_multi_param_templ.c \
511         isl_multi_product_templ.c \
512         isl_multi_read_no_explicit_domain_templ.c \
513         isl_multi_splice_templ.c \
514         isl_multi_tuple_id_templ.c \
515         isl_multi_union_add_templ.c \
516         isl_multi_zero_templ.c \
517         opt_type.h \
518         print_templ.c \
519         print_templ_yaml.c \
520         print_yaml_field_templ.c \
521         isl_power_templ.c \
522         isl_project_out_all_params_templ.c \
523         isl_pw_macro.h \
524         isl_pw_templ.c \
525         isl_pw_templ.h \
526         isl_pw_add_constant_templ.c \
527         isl_pw_add_constant_multi_val_templ.c \
528         isl_pw_add_constant_val_templ.c \
529         isl_pw_bind_domain_templ.c \
530         isl_pw_eval.c \
531         isl_pw_hash.c \
532         isl_pw_insert_dims_templ.c \
533         isl_pw_lift_templ.c \
534         isl_pw_morph_templ.c \
535         isl_pw_move_dims_templ.c \
536         isl_pw_neg_templ.c \
537         isl_pw_opt_templ.c \
538         isl_pw_pullback_templ.c \
539         isl_pw_sub_templ.c \
540         isl_pw_union_opt.c \
541         read_in_string_templ.c \
542         set_to_map.c \
543         set_from_map.c \
544         set_list_from_map_list_inl.c \
545         isl_tab_lexopt_templ.c \
546         isl_test_list_templ.c \
547         isl_test_plain_equal_templ.c \
548         isl_type_check_equal_space_templ.c \
549         isl_type_has_equal_space_bin_templ.c \
550         isl_type_has_equal_space_templ.c \
551         uset_to_umap.c \
552         uset_from_umap.c \
553         isl_union_macro.h \
554         isl_union_templ.c \
555         isl_union_single.c \
556         isl_union_multi.c \
557         isl_union_eval.c \
558         isl_union_neg.c \
559         libisl-gdb.py \
560         doc/CodingStyle \
561         doc/SubmittingPatches \
562         doc/implementation.tex \
563         doc/isl.bib \
564         doc/mypod2latex \
565         doc/manual.tex \
566         doc/reading.tex \
567         doc/user.pod \
568         imath/gmp_compat.c \
569         imath/gmp_compat.h \
570         imath/imath.c \
571         imath/imath.h \
572         imath/imrat.c \
573         imath/imrat.h \
574         all.h \
575         cpp \
576         python \
577         isl_test_cpp-generic.cc \
578         isl_test_python.py \
579         test_inputs
581 dist-hook:
582         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
583         (cd doc; make manual.pdf)
584         cp doc/manual.pdf $(distdir)/doc/
586 pkgconfigdir=$(pkgconfig_libdir)
587 pkgconfig_DATA = $(pkgconfig_libfile)
589 gitversion.h: @GIT_HEAD@
590         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
592 install-data-local: $(srcdir)/libisl-gdb.py
593         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
594                  $(builddir)/libisl.la`; \
595         case $$libisl in \
596         '') echo Cannot find isl library name. GDB bindings not installed.;; \
597         *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
598                 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
599         test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
600         $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
601             $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
602         esac
604 uninstall-local:
605         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
606                  $(builddir)/libisl.la`; \
607         if test -n "$${libisl}"; then \
608                 rm -f $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
609         fi