3 MAYBE_INTERFACE = interface
5 interface/extract_interface$(BUILD_EXEEXT): FORCE
6 $(MAKE) $(AM_MAKEFLAGS) -C interface extract_interface$(BUILD_EXEEXT)
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 \
19 isl_polyhedron_remove_redundant_equalities isl_cat \
20 isl_closure isl_bound isl_schedule isl_codegen isl_test_int \
21 isl_flow isl_flow_cmp isl_schedule_cmp
22 TESTS = isl_test codegen_test.sh pip_test.sh bound_test.sh isl_test_int \
23 flow_test.sh schedule_test.sh
25 CPP_H = include/isl/cpp.h include/isl/typed_cpp.h
27 noinst_PROGRAMS += isl_test2 isl_test_cpp
28 TESTS += isl_test2 isl_test_cpp isl_test_cpp_failed.sh
31 noinst_PROGRAMS += isl_test_cpp17 isl_test_cpp17-checked
32 TESTS += isl_test_cpp17 isl_test_cpp17-checked
37 noinst_PROGRAMS += isl_test_cpp-checked isl_test_cpp-checked-conversion
38 TESTS += isl_test_cpp-checked isl_test_cpp-checked-conversion
40 TESTS += isl_test_python.py
41 noinst_PYTHON = interface/isl.py
42 isl_test_python.py: interface/isl.py libisl.la
47 AM_TESTS_ENVIRONMENT = \
48 export PYTHONPATH=interface; \
49 export ISL_DYLD_LIBRARY_PATH=.libs; \
50 export LD_LIBRARY_PATH=".libs:$(LD_LIBRARY_PATH)";
51 PY_LOG_COMPILER = $(PYTHON)
59 imath_wrap/gmp_compat.h \
63 imath_wrap/gmp_compat.c \
67 noinst_PROGRAMS += isl_test_imath
68 TESTS += isl_test_imath
71 MP_SRC += isl_int_sioimath.h \
75 MP_SRC += isl_val_imath.c
82 if NEED_GET_MEMORY_FUNCTIONS
83 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
87 $(GET_MEMORY_FUNCTIONS) \
92 MP_INCLUDE_H = include/isl/val_gmp.h
95 includes = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
96 AM_CPPFLAGS = $(includes) @MP_CPPFLAGS@
97 AM_CFLAGS = @WARNING_FLAGS@ @MP_CFLAGS@
109 isl_ast_build_private.h \
110 isl_ast_build_expr.c \
111 isl_ast_build_expr.h \
114 isl_ast_graft_private.h \
115 isl_basis_reduction.h \
116 basis_reduction_tab.c \
126 isl_constraint_private.h \
135 isl_factorization.c \
136 isl_factorization.h \
142 isl_id_to_ast_expr.c \
150 isl_local_private.h \
153 isl_local_space_private.h \
162 isl_map_to_basic_set.c \
171 isl_options_private.h \
173 isl_output_private.h \
174 isl_point_private.h \
176 isl_polynomial_private.h \
178 isl_printer_private.h \
190 isl_schedule_band.c \
191 isl_schedule_band.h \
192 isl_schedule_node.c \
193 isl_schedule_node_private.h \
194 isl_schedule_read.c \
195 isl_schedule_tree.c \
196 isl_schedule_tree.h \
197 isl_schedule_private.h \
198 isl_schedule_constraints.c \
199 isl_schedule_constraints.h \
205 isl_space_private.h \
207 isl_stream_private.h \
210 isl_set_to_ast_graft_list.c \
211 isl_set_to_ast_graft_list.h \
218 isl_transitive_closure.c \
220 isl_union_map_private.h \
221 isl_union_set_private.h \
227 isl_vertices_private.h \
230 libisl_la_LIBADD = @MP_LIBS@
231 libisl_la_LDFLAGS = -version-info @versioninfo@ \
234 isl_test_LDFLAGS = @MP_LDFLAGS@
235 isl_test_LDADD = libisl.la @MP_LIBS@
237 isl_test2_SOURCES = \
240 isl_test2_LDFLAGS = @MP_LDFLAGS@
241 isl_test2_LDADD = libisl.la @MP_LIBS@
243 isl_test_int_LDFLAGS = @MP_LDFLAGS@
244 isl_test_int_LDADD = libisl.la @MP_LIBS@
247 isl_test_imath_LDFLAGS = @MP_LDFLAGS@
248 isl_test_imath_LDADD = libisl.la @MP_LIBS@
251 isl_polyhedron_sample_LDADD = libisl.la
252 isl_polyhedron_sample_SOURCES = \
255 isl_pip_LDFLAGS = @MP_LDFLAGS@
256 isl_pip_LDADD = libisl.la @MP_LIBS@
260 isl_schedule_LDFLAGS = @MP_LDFLAGS@
261 isl_schedule_LDADD = libisl.la @MP_LIBS@
262 isl_schedule_SOURCES = \
265 isl_schedule_cmp_LDFLAGS = @MP_LDFLAGS@
266 isl_schedule_cmp_LDADD = libisl.la @MP_LIBS@
267 isl_schedule_cmp_SOURCES = \
270 isl_flow_LDFLAGS = @MP_LDFLAGS@
271 isl_flow_LDADD = libisl.la @MP_LIBS@
275 isl_flow_cmp_LDFLAGS = @MP_LDFLAGS@
276 isl_flow_cmp_LDADD = libisl.la @MP_LIBS@
277 isl_flow_cmp_SOURCES = \
280 isl_codegen_LDFLAGS = @MP_LDFLAGS@
281 isl_codegen_LDADD = libisl.la @MP_LIBS@
282 isl_codegen_SOURCES = \
285 isl_bound_LDFLAGS = @MP_LDFLAGS@
286 isl_bound_LDADD = libisl.la @MP_LIBS@
287 isl_bound_SOURCES = \
290 isl_polyhedron_minimize_LDFLAGS = @MP_LDFLAGS@
291 isl_polyhedron_minimize_LDADD = libisl.la @MP_LIBS@
292 isl_polyhedron_minimize_SOURCES = \
293 polyhedron_minimize.c
295 isl_polytope_scan_LDADD = libisl.la
296 isl_polytope_scan_SOURCES = \
299 isl_polyhedron_detect_equalities_LDADD = libisl.la
300 isl_polyhedron_detect_equalities_SOURCES = \
301 polyhedron_detect_equalities.c
303 isl_polyhedron_remove_redundant_equalities_LDADD = libisl.la
304 isl_polyhedron_remove_redundant_equalities_SOURCES = \
305 polyhedron_remove_redundant_equalities.c
307 isl_cat_LDADD = libisl.la
311 isl_closure_LDADD = libisl.la
312 isl_closure_SOURCES = \
315 isl_test_cpp_CPPFLAGS = $(AM_CPPFLAGS) -UCOMPILE_ERROR
316 isl_test_cpp_SOURCES = \
319 isl_test_cpp_LDFLAGS = @MP_LDFLAGS@
320 isl_test_cpp_LDADD = libisl.la @MP_LIBS@
322 # This program is not meant to be compiled by default.
323 # In fact it is meant not to be compilable.
324 # It is identical to isl_test_cpp, except that it gets compiled
325 # with the COMPILE_ERROR flag set.
326 EXTRA_PROGRAMS = isl_test_cpp_failed
327 isl_test_cpp_failed_CPPFLAGS = $(AM_CPPFLAGS) -DCOMPILE_ERROR
328 isl_test_cpp_failed_SOURCES = \
331 isl_test_cpp_failed_LDFLAGS = @MP_LDFLAGS@
332 isl_test_cpp_failed_LDADD = libisl.la @MP_LIBS@
334 isl_test_cpp17_SOURCES = \
337 isl_test_cpp17_LDFLAGS = @MP_LDFLAGS@
338 isl_test_cpp17_LDADD = libisl.la @MP_LIBS@
340 isl_test_cpp_checked_SOURCES = \
341 isl_test_cpp-checked.cc \
342 include/isl/cpp-checked.h
343 isl_test_cpp_checked_LDFLAGS = @MP_LDFLAGS@
344 isl_test_cpp_checked_LDADD = libisl.la @MP_LIBS@
346 isl_test_cpp17_checked_SOURCES = \
347 isl_test_cpp17-checked.cc \
349 isl_test_cpp17_checked_LDFLAGS = @MP_LDFLAGS@
350 isl_test_cpp17_checked_LDADD = libisl.la @MP_LIBS@
352 isl_test_cpp_checked_conversion_SOURCES = \
353 isl_test_cpp-checked-conversion.cc \
354 include/isl/cpp-checked-conversion.h
355 isl_test_cpp_checked_conversion_LDFLAGS = @MP_LDFLAGS@
356 isl_test_cpp_checked_conversion_LDADD = libisl.la @MP_LIBS@
358 # dummy library that captures the dependencies on all headers
359 # that are relevant for the bindings
360 noinst_LIBRARIES = libdep.a
361 libdep_a_SOURCES = dep.c
365 interface/isldlname.py: libisl.la
366 $(AM_V_GEN) $(GREP) dlname $< | $(SED) -e 's/dlname/isl_dlname/' > $@
367 interface/isl.py: interface/extract_interface$(BUILD_EXEEXT) libdep.a \
368 python/isl.py.top interface/isldlname.py
369 (cat interface/isldlname.py $(srcdir)/python/isl.py.top && \
370 interface/extract_interface$(BUILD_EXEEXT) --language=python \
371 $(includes) $(srcdir)/all.h) \
372 > $@ || (rm $@ && false)
374 include/isl/cpp.h: interface/extract_interface$(BUILD_EXEEXT) libdep.a \
375 cpp/cpp.h.top cpp/cpp.h.bot
376 $(MKDIR_P) "include/isl" && \
377 (cat $(srcdir)/cpp/cpp.h.top $(srcdir)/all.h && \
378 interface/extract_interface$(BUILD_EXEEXT) --language=cpp \
379 $(includes) $(srcdir)/all.h && \
380 cat $(srcdir)/cpp/cpp.h.bot) \
381 > $@ || (rm $@ && false)
383 include/isl/cpp-checked.h: interface/extract_interface$(BUILD_EXEEXT) libdep.a \
384 cpp/cpp-checked.h.top cpp/cpp-checked.h.bot
385 $(MKDIR_P) "include/isl" && \
386 (cat $(srcdir)/cpp/cpp-checked.h.top $(srcdir)/all.h && \
387 interface/extract_interface$(BUILD_EXEEXT) \
388 --language=cpp-checked \
389 $(includes) $(srcdir)/all.h && \
390 cat $(srcdir)/cpp/cpp-checked.h.bot) \
391 > $@ || (rm $@ && false)
393 include/isl/cpp-checked-conversion.h: \
394 interface/extract_interface$(BUILD_EXEEXT) \
396 cpp/cpp-checked-conversion.h.top \
397 cpp/cpp-checked-conversion.h.bot
398 $(MKDIR_P) "include/isl" && \
399 (cat $(srcdir)/cpp/cpp-checked-conversion.h.top && \
400 interface/extract_interface$(BUILD_EXEEXT) \
401 --language=cpp-checked-conversion \
402 $(includes) $(srcdir)/all.h && \
403 cat $(srcdir)/cpp/cpp-checked-conversion.h.bot) \
404 > $@ || (rm $@ && false)
406 include/isl/typed_cpp.h: interface/extract_interface$(BUILD_EXEEXT) \
407 libdep.a cpp/typed_cpp.h.top cpp/typed_cpp.h.bot
408 $(MKDIR_P) "include/isl" && \
409 (cat $(srcdir)/cpp/typed_cpp.h.top && \
410 interface/extract_interface$(BUILD_EXEEXT) \
411 --language=template-cpp \
412 $(includes) $(srcdir)/all.h && \
413 cat $(srcdir)/cpp/typed_cpp.h.bot) \
414 > $@ || (rm $@ && false)
418 nodist_pkginclude_HEADERS = \
420 pkginclude_HEADERS = \
424 include/isl/aff_type.h \
427 include/isl/ast_type.h \
428 include/isl/ast_build.h \
429 include/isl/constraint.h \
431 include/isl/fixed_box.h \
434 include/isl/id_type.h \
435 include/isl/id_to_ast_expr.h \
436 include/isl/id_to_id.h \
437 include/isl/id_to_pw_aff.h \
441 include/isl/hmap_templ.c \
443 include/isl/local_space.h \
447 include/isl/map_to_basic_set.h \
448 include/isl/map_type.h \
449 include/isl/maybe.h \
450 include/isl/maybe_ast_expr.h \
451 include/isl/maybe_basic_set.h \
452 include/isl/maybe_id.h \
453 include/isl/maybe_pw_aff.h \
454 include/isl/maybe_templ.h \
455 include/isl/multi.h \
457 include/isl/options.h \
458 include/isl/point.h \
459 include/isl/polynomial.h \
460 include/isl/polynomial_type.h \
461 include/isl/printer.h \
462 include/isl/printer_type.h \
463 include/isl/schedule.h \
464 include/isl/schedule_node.h \
465 include/isl/schedule_type.h \
467 include/isl/set_type.h \
468 include/isl/space.h \
469 include/isl/space_type.h \
470 include/isl/stream.h \
471 include/isl/stride_info.h \
472 include/isl/union_map.h \
473 include/isl/union_map_type.h \
474 include/isl/union_set.h \
475 include/isl/union_set_type.h \
477 include/isl/val_type.h \
479 include/isl/version.h \
480 include/isl/vertices.h
486 include/isl/cpp-checked.h \
487 include/isl/cpp-checked-conversion.h \
488 include/isl/typed_cpp.h
491 BUILT_SOURCES = gitversion.h $(CPP_INTERFACES)
494 interface/isldlname.py \
509 isl_aff_lex_templ.c \
510 isl_align_params_templ.c \
511 isl_align_params_bin_templ.c \
512 basis_reduction_templ.c \
513 isl_bind_domain_templ.c \
516 isl_check_named_params_templ.c \
517 check_parse_fail_test_templ.c \
518 check_reparse_templ.c \
519 check_reparse_test_templ.c \
520 check_single_reference_templ.c \
521 check_type_range_templ.c \
522 isl_copy_tuple_id_templ.c \
523 isl_domain_factor_templ.c \
525 isl_ilp_opt_fn_val_templ.c \
526 isl_ilp_opt_multi_val_templ.c \
527 isl_ilp_opt_val_templ.c \
528 has_single_reference_templ.c \
529 isl_insert_domain_templ.c \
533 isl_list_read_templ.c \
534 isl_map_bound_templ.c \
535 isl_map_lexopt_templ.c \
536 isl_maybe_ast_graft_list.h \
539 isl_multi_bind_templ.c \
540 isl_multi_explicit_domain.c \
541 isl_multi_pw_aff_explicit_domain.c \
542 isl_multi_union_pw_aff_explicit_domain.c \
543 isl_multi_no_explicit_domain.c \
544 isl_multi_no_domain_templ.c \
547 isl_multi_add_constant_templ.c \
548 isl_multi_align_templ.c \
549 isl_multi_align_set.c \
550 isl_multi_align_union_set.c \
551 isl_multi_apply_templ.c \
552 isl_multi_apply_set.c \
553 isl_multi_apply_union_set.c \
554 isl_multi_arith_templ.c \
555 isl_multi_bin_val_templ.c \
556 isl_multi_bind_domain_templ.c \
558 isl_multi_coalesce.c \
559 isl_multi_dim_id_templ.c \
561 isl_multi_domain_templ.c \
563 isl_multi_from_base_templ.c \
566 isl_multi_insert_domain_templ.c \
567 isl_multi_intersect.c \
568 isl_multi_identity_templ.c \
569 isl_multi_locals_templ.c \
570 isl_multi_min_max_templ.c \
571 isl_multi_move_dims_templ.c \
572 isl_multi_nan_templ.c \
573 isl_multi_param_templ.c \
574 isl_multi_product_templ.c \
575 isl_multi_pw_aff_pullback_templ.c \
576 isl_multi_read_no_explicit_domain_templ.c \
577 isl_multi_splice_templ.c \
578 isl_multi_tuple_id_templ.c \
579 isl_multi_un_op_templ.c \
580 isl_multi_unbind_params_templ.c \
581 isl_multi_union_add_templ.c \
582 isl_multi_zero_templ.c \
583 isl_multi_zero_space_templ.c \
584 isl_opt_mpa_templ.c \
588 print_yaml_field_templ.c \
590 isl_project_out_all_params_templ.c \
594 isl_pw_add_constant_templ.c \
595 isl_pw_add_constant_multi_val_templ.c \
596 isl_pw_add_constant_val_templ.c \
597 isl_pw_bind_domain_templ.c \
600 isl_pw_insert_dims_templ.c \
601 isl_pw_insert_domain_templ.c \
602 isl_pw_lift_templ.c \
603 isl_pw_locals_templ.c \
604 isl_pw_morph_templ.c \
605 isl_pw_move_dims_templ.c \
608 isl_pw_pullback_templ.c \
609 isl_pw_range_tuple_id_templ.c \
611 isl_pw_un_op_templ.c \
613 read_in_string_templ.c \
616 set_list_from_map_list_inl.c \
617 isl_tab_lexopt_templ.c \
618 isl_test_list_templ.c \
619 isl_test_plain_equal_templ.c \
620 isl_type_check_equal_space_templ.c \
621 isl_type_check_match_range_multi_val.c \
622 isl_type_has_equal_space_bin_templ.c \
623 isl_type_has_equal_space_templ.c \
624 isl_type_has_space_templ.c \
625 isl_unbind_params_templ.c \
633 isl_union_locals_templ.c \
634 isl_union_map_lex_templ.c \
636 isl_union_pw_templ.c \
639 doc/SubmittingPatches \
640 doc/implementation.tex \
655 isl_test_cpp-generic.cc \
656 isl_test_cpp_failed.sh \
657 isl_test_cpp17-generic.cc \
662 echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
663 (cd doc; make manual.pdf)
664 cp doc/manual.pdf $(distdir)/doc/
666 pkgconfigdir=$(pkgconfig_libdir)
667 pkgconfig_DATA = $(pkgconfig_libfile)
669 gitversion.h: @GIT_HEAD@
670 $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
672 install-data-local: $(srcdir)/libisl-gdb.py
673 @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
674 $(builddir)/libisl.la`; \
676 '') echo Cannot find isl library name. GDB bindings not installed.;; \
677 *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
678 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
679 test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
680 $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
681 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
685 @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
686 $(builddir)/libisl.la`; \
687 if test -n "$${libisl}"; then \
688 rm -f $(DESTDIR)$(libdir)/$$libisl-gdb.py; \