Makefile.am

   1 SUBDIRS = . doc
   2 DIST_SUBDIRS = doc
   3
   4 ACLOCAL_AMFLAGS = -I m4
   5
   6 lib_LTLIBRARIES = libisl.la
   7 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
   8         isl_polyhedron_minimize isl_polytope_scan \
   9         isl_polyhedron_detect_equalities isl_cat \
  10         isl_closure isl_bound
  11 TESTS = isl_test pip_test.sh bound_test.sh
  12
  13 if HAVE_PIPLIB
  14 ISL_PIPLIB = \
  15         isl_lp_piplib.c \
  16         isl_map_piplib.c \
  17         isl_sample_piplib.c \
  18         isl_sample_piplib.h \
  19         isl_piplib.c
  20 else
  21 ISL_PIPLIB = \
  22         isl_lp_no_piplib.c \
  23         isl_map_no_piplib.c \
  24         isl_sample_no_piplib.c
  25 endif
  26
  27 if NEED_GET_MEMORY_FUNCTIONS
  28 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
  29 endif
  30
  31 libisl_la_SOURCES = \
  32         $(ISL_PIPLIB) \
  33         $(GET_MEMORY_FUNCTIONS) \
  34         isl_affine_hull.c \
  35         isl_arg.c \
  36         isl_basis_reduction.h \
  37         basis_reduction_tab.c \
  38         isl_blk.c \
  39         isl_coalesce.c \
  40         isl_constraint.c \
  41         isl_convex_hull.c \
  42         isl_ctx.c \
  43         isl_dim.c \
  44         isl_dim_private.h \
  45         isl_div.c \
  46         isl_equalities.c \
  47         isl_equalities.h \
  48         isl_flow.c \
  49         isl_fold.c \
  50         isl_gmp.c \
  51         isl_hash.c \
  52         isl_ilp.c \
  53         isl_input.c \
  54         isl_list.c \
  55         isl_lp.c \
  56         isl_lp_piplib.h \
  57         isl_map.c \
  58         isl_map_simplify.c \
  59         isl_map_subtract.c \
  60         isl_map_private.h \
  61         isl_map_piplib.h \
  62         isl_mat.c \
  63         isl_morph.c \
  64         isl_morph.h \
  65         isl_name.c \
  66         isl_name.h \
  67         isl_obj.c \
  68         isl_options.c \
  69         isl_output.c \
  70         isl_piplib.h \
  71         isl_point_private.h \
  72         isl_point.c \
  73         isl_polynomial_private.h \
  74         isl_polynomial.c \
  75         isl_printer_private.h \
  76         isl_printer.c \
  77         isl_range.c \
  78         isl_sample.h \
  79         isl_sample.c \
  80         isl_scan.c \
  81         isl_scan.h \
  82         isl_stream.c \
  83         isl_seq.c \
  84         isl_tab.c \
  85         isl_tab.h \
  86         isl_tab_pip.c \
  87         isl_transitive_closure.c \
  88         isl_vec.c
  89 EXTRA_libisl_la_SOURCES = \
  90         isl_lp_piplib.c \
  91         isl_lp_no_piplib.c \
  92         isl_map_piplib.c \
  93         isl_map_no_piplib.c \
  94         isl_sample_no_piplib.c \
  95         isl_sample_piplib.c \
  96         isl_sample_piplib.h \
  97         isl_piplib.c
  98 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
  99 libisl_la_LDFLAGS = -version-info @versioninfo@ \
 100         @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
 101 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 102         @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
 103
 104 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
 105 isl_test_LDADD = libisl.la
 106
 107 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 108         @GMP_CPPFLAGS@
 109 isl_polyhedron_sample_LDADD = libisl.la
 110 isl_polyhedron_sample_SOURCES = \
 111         polyhedron_sample.c
 112
 113 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 114         @GMP_CPPFLAGS@
 115 isl_pip_LDADD = libisl.la
 116 isl_pip_SOURCES = \
 117         pip.c
 118
 119 isl_bound_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 120         @GMP_CPPFLAGS@
 121 isl_bound_LDADD = libisl.la
 122 isl_bound_SOURCES = \
 123         bound.c
 124
 125 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 126         @GMP_CPPFLAGS@
 127 isl_polyhedron_minimize_LDADD = libisl.la
 128 isl_polyhedron_minimize_SOURCES = \
 129         polyhedron_minimize.c
 130
 131 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 132         @GMP_CPPFLAGS@
 133 isl_polytope_scan_LDADD = libisl.la
 134 isl_polytope_scan_SOURCES = \
 135         polytope_scan.c
 136
 137 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 138         @GMP_CPPFLAGS@
 139 isl_polyhedron_detect_equalities_LDADD = libisl.la
 140 isl_polyhedron_detect_equalities_SOURCES = \
 141         polyhedron_detect_equalities.c
 142
 143 isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 144         @GMP_CPPFLAGS@
 145 isl_cat_LDADD = libisl.la
 146 isl_cat_SOURCES = \
 147         cat.c
 148
 149 isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
 150         @GMP_CPPFLAGS@
 151 isl_closure_LDADD = libisl.la
 152 isl_closure_SOURCES = \
 153         closure.c
 154
 155 nodist_pkginclude_HEADERS = \
 156         include/isl_config.h \
 157         include/isl_stdint.h
 158 pkginclude_HEADERS = \
 159         include/isl_arg.h \
 160         include/isl_blk.h \
 161         include/isl_constraint.h \
 162         include/isl_ctx.h \
 163         include/isl_dim.h \
 164         include/isl_div.h \
 165         include/isl_flow.h \
 166         include/isl_ilp.h \
 167         include/isl_int.h \
 168         include/isl_hash.h \
 169         include/isl_list.h \
 170         include/isl_lp.h \
 171         include/isl_mat.h \
 172         include/isl_map.h \
 173         include/isl_obj.h \
 174         include/isl_options.h \
 175         include/isl_point.h \
 176         include/isl_polynomial.h \
 177         include/isl_printer.h \
 178         include/isl_seq.h \
 179         include/isl_set.h \
 180         include/isl_stream.h \
 181         include/isl_vec.h
 182
 183 EXTRA_DIST = \
 184         basis_reduction_templ.c \
 185         isl_pw_templ.c \
 186         doc/chicago.bst \
 187         doc/chicago.sty \
 188         doc/implementation.tex \
 189         doc/isl.bib \
 190         doc/mypod2latex \
 191         doc/manual.tex \
 192         doc/user.pod \
 193         pip_test.sh \
 194         test_inputs
 195
 196 dist-hook:
 197         (cd doc; make manual.pdf)
 198         cp doc/manual.pdf $(distdir)/doc/
 199
 200 pkgconfigdir=$(pkgconfig_libdir)
 201 pkgconfig_DATA = $(pkgconfig_libfile)