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