1# Automake source file for the Parma Polyhedra Library.
2# Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3# Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
4#
5# This file is part of the Parma Polyhedra Library (PPL).
6#
7# The PPL is free software; you can redistribute it and/or modify it
8# under the terms of the GNU General Public License as published by the
9# Free Software Foundation; either version 3 of the License, or (at your
10# option) any later version.
11#
12# The PPL is distributed in the hope that it will be useful, but WITHOUT
13# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15# for more details.
16#
17# You should have received a copy of the GNU General Public License
18# along with this program; if not, write to the Free Software Foundation,
19# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20#
21# For the most up-to-date information see the Parma Polyhedra Library
22# site: http://bugseng.com/products/ppl/ .
23
24SUBDIRS = \
25. \
26Concrete_Expression \
27CO_Tree \
28PIP_Problem \
29Powerset \
30Partially_Reduced_Product \
31Box \
32MIP_Problem \
33Octagonal_Shape \
34BD_Shape \
35Polyhedron \
36Grid \
37Watchdog
38
39AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src @extra_includes@
40
41check_LIBRARIES = libppl_tests.a
42
43libppl_tests_a_SOURCES = \
44files.hh \
45files.cc \
46ppl_test.cc
47
48LDADD = \
49$(top_builddir)/src/libppl.la \
50libppl_tests.a \
51@extra_libraries@
52
53noinst_HEADERS = \
54ppl_test.hh \
55Random_Number_Generator_defs.hh \
56Random_Number_Generator_inlines.hh \
57Random_Number_Generator_types.hh
58
59EXTRA_DIST = valgrind_suppressions
60