1## -*- coding: utf-8 -*-
2## Copyright (C) 2009, 2011, 2013-2015, 2018 Laboratoire de Recherche
3## et Developpement de l'Epita (LRDE).
4##
5## This file is part of Spot, a model checking library.
6##
7## Spot is free software; you can redistribute it and/or modify it
8## under the terms of the GNU General Public License as published by
9## the Free Software Foundation; either version 3 of the License, or
10## (at your option) any later version.
11##
12## Spot is distributed in the hope that it will be useful, but WITHOUT
13## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14## or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
15## License for more details.
16##
17## You should have received a copy of the GNU General Public License
18## along with this program.  If not, see <http://www.gnu.org/licenses/>.
19
20AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) $(BUDDY_CPPFLAGS) \
21              -I$(top_builddir)/lib -I$(top_srcdir)/lib
22AM_CXXFLAGS = $(WARNING_CXXFLAGS)
23
24kripkedir = $(pkgincludedir)/kripke
25
26kripke_HEADERS = \
27  fairkripke.hh \
28  fwd.hh \
29  kripke.hh \
30  kripkegraph.hh
31
32noinst_LTLIBRARIES = libkripke.la
33libkripke_la_SOURCES = \
34  fairkripke.cc \
35  kripke.cc
36