Makefile.am

## Process this file with automake to produce Makefile.in
##
## Copyright (C) 2002--2005 Carnegie Mellon University
## Copyright (C) 2019 Google Inc
##
## This file is part of VHPOP.
##
## VHPOP is free software; you can redistribute it and/or modify it
## under the terms of the GNU General Public License as published by
## the Free Software Foundation; either version 2 of the License, or
## (at your option) any later version.
##
## VHPOP is distributed in the hope that it will be useful, but WITHOUT
## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
## or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
## License for more details.
##
## You should have received a copy of the GNU General Public License
## along with VHPOP; if not, write to the Free Software Foundation,
## Inc., #59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

SUBDIRS = gtest

noinst_LTLIBRARIES =

# VHPOP libraries.

HEADER_FILES = src/timer.h

noinst_LTLIBRARIES += src/libpddl-requirements.la
src_libpddl_requirements_la_SOURCES = src/pddl-requirements.h \
    src/pddl-requirements.cc

# VHPOP binaries.

bin_PROGRAMS = vhpop
vhpop_SOURCES = vhpop.cc refcount.h chain.h types.cc types.h terms.cc terms.h predicates.cc predicates.h functions.cc functions.h expressions.cc expressions.h formulas.cc formulas.h effects.cc effects.h actions.cc actions.h domains.cc domains.h problems.cc problems.h bindings.cc bindings.h orderings.cc orderings.h flaws.cc flaws.h heuristics.cc heuristics.h plans.cc plans.h parameters.cc parameters.h pddl.yy tokens.ll debug.h $(HEADER_FILES)
vhpop_LDADD = src/libpddl-requirements.la

# VHPOP tests.

check_LTLIBRARIES =

check_LTLIBRARIES += src/libtest-main.la
src_libtest_main_la_SOURCES =
src_libtest_main_la_LIBADD = gtest/lib/libgtest.la gtest/lib/libgtest_main.la

check_PROGRAMS =

check_PROGRAMS += src/timer_test
src_timer_test_SOURCES = src/timer_test.cc
src_timer_test_LDADD = src/libtest-main.la

check_PROGRAMS += src/pddl-requirements_test
src_pddl_requirements_test_SOURCES = src/pddl-requirements_test.cc
src_pddl_requirements_test_LDADD = src/libpddl-requirements.la \
    src/libtest-main.la

# Note: heap checking is enabled only if tests were linked with tcmalloc.
TESTS_ENVIRONMENT = HEAPCHECK=normal TEST_SRCDIR=$(srcdir)
TESTS = $(check_PROGRAMS)

# Miscellaneous settings.

MAINTAINERCLEANFILES = pddl.cc tokens.cc

EXTRA_DIST = ipc3-vhpop examples scripts src/vhpop_regtest.sh src/testdata

CLEANFILES = core

AM_CPPFLAGS = -I$(srcdir)/gtest/include
AM_CXXFLAGS = -Wall -Werror
AM_YFLAGS = -d

ACLOCAL_AMFLAGS = -I m4