diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/Makefile.am | 12 | ||||
-rw-r--r-- | test/unit/parser/parser_black.h | 4 |
2 files changed, 9 insertions, 7 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index c145cf752..591a85202 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -51,11 +51,6 @@ EXTRA_DIST = \ no_cxxtest \ $(TEST_DEPS_DIST) -# without these here, LTCXXCOMPILE, CXXLINK, etc., aren't set :-( -noinst_LTLIBRARIES = libdummy.la -libdummy_la_SOURCES = expr/node_black.cpp -libdummy_la_LIBADD = @abs_top_builddir@/src/libcvc4.la - MOSTLYCLEANFILES = $(UNIT_TESTS) $(UNIT_TESTS:%=%.cpp) @mk_include@ @srcdir@/Makefile.tests @@ -88,6 +83,13 @@ EXTRA_DIST = \ endif +# trick automake into setting LTCXXCOMPILE, CXXLINK, etc. +if CVC4_FALSE +noinst_LTLIBRARIES = libdummy.la +libdummy_la_SOURCES = expr/node_black.cpp +libdummy_la_LIBADD = @abs_top_builddir@/src/libcvc4.la +endif + # synonyms for "check" .PHONY: regress test regress test: check diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index dbf434ed2..150d88306 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -1,8 +1,8 @@ /********************* */ /** parser_black.h ** Original author: cconway - ** Major contributors: dejan - ** Minor contributors (to current version): mdeters + ** Major contributors: none + ** Minor contributors (to current version): mdeters, dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences |