update isl for generic isl_pw_qpolynomial_bound
[barvinok.git] / zsolve / Makefile.am
blob4c461d402310ae5239594ac25f63f4a2dc57f9da
1 #                                               -*- Makefile -*-
2 # 4ti2 -- A software package for algebraic, geometric and combinatorial
3 # problems on linear spaces.
4
5 # Copyright (C) 2006 4ti2 team.
6 # Main author(s): Matthias Walter.
7
8 # This program is free software; you can redistribute it and/or
9 # modify it under the terms of the GNU General Public License
10 # as published by the Free Software Foundation; either version 2
11 # of the License, or (at your option) any later version.
12
13 # This program is distributed in the hope that it will be useful,
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 # GNU General Public License for more details.
17
18 # You should have received a copy of the GNU General Public License
19 # along with this program; if not, write to the Free Software
20 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. 
22 LIBS =
23 AM_CFLAGS = -DNDEBUG
25 noinst_LTLIBRARIES = libzsolve.la
27 libzsolve_la_SOURCES =                          \
28         defs.c                                  \
29         vector.c                                \
30         vectorarray.c                           \
31         linearsystem.c                          \
32         indexarray.c                            \
33         lattice.c                               \
34         matrix.c                                \
35         varproperties.c                         \
36         valuetrees.c                            \
37         cputime.c                               \
38         libzsolve.c
40 noinst_HEADERS =                                \
41         banner.h                                \
42         cputime.h                               \
43         defs.h                                  \
44         indexarray.h                            \
45         lattice.h                               \
46         libzsolve.h                             \
47         linearsystem.h                          \
48         matrix.h                                \
49         opts.h                                  \
50         valuetrees.h                            \
51         varproperties.h                         \
52         vectorarray.h                           \
53         vector.h
55 noinst_PROGRAMS = zsolve
57 zsolve_SOURCES =                                \
58         solve.c                                 \
59         opts.c
61 zsolve_LDADD = libzsolve.la
63 # For out-of-source builds, make sure we have a copy of the script in
64 # the build directory, so that the script finds the binary.
65 noinst_SCRIPTS = hilbert graver
67 EXTRA_DIST = hilbert.template graver.template
69 hilbert: hilbert.template
70         $(install_sh) -c -m 755 $< $@
72 graver: graver.template
73         $(install_sh) -c -m 755 $< $@