+ src/language/tests/model-checker.c \
+ src/language/tests/model-checker.h \
+ src/language/tests/paper-size.c \
+ src/language/tests/pool-test.c
+
+all_q_sources += $(language_tests_built_sources:.c=.q)
+EXTRA_DIST += $(language_tests_built_sources:.c=.q)
+CLEANFILES += $(language_tests_built_sources)
+
+EXTRA_DIST += src/language/tests/OChangeLog