Implement model checker for testing purposes.

[pspp-builds.git] / src / language / tests / automake.mk

diff --git a/src/language/tests/automake.mk b/src/language/tests/automake.mk
index 28e37d5c5875531cfb45d0f34e87d23de090e214..05d18a5a7f3f0cac281771b98ce6614ef25baae8 100644 (file)
--- a/src/language/tests/automake.mk
+++ b/src/language/tests/automake.mk
@@ -1,8 +1,16 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
-noinst_LIBRARIES += src/language/tests/libtests.a
+language_tests_built_sources = \
+       src/language/tests/check-model.c
 
-src_language_tests_libtests_a_SOURCES = \
+language_tests_sources = \
        src/language/tests/casefile-test.c \
+       src/language/tests/check-model.h \
        src/language/tests/moments-test.c \
-       src/language/tests/pool-test.c 
+       src/language/tests/pool-test.c \
+       src/language/tests/float-format.c \
+       $(language_tests_built_sources)
+
+all_q_sources += $(language_tests_built_sources:.c=.q)
+EXTRA_DIST += $(language_tests_built_sources:.c=.q)
+CLEANFILES += $(language_tests_built_sources)