src_libpspp_libpspp_la_SOURCES = \
src/libpspp/abt.c \
src/libpspp/abt.h \
+ src/libpspp/argv-parser.c \
+ src/libpspp/argv-parser.h \
src/libpspp/array.c \
src/libpspp/array.h \
src/libpspp/assertion.h \
src/libpspp/message.h \
src/libpspp/misc.c \
src/libpspp/misc.h \
+ src/libpspp/model-checker.c \
+ src/libpspp/model-checker.h \
src/libpspp/msg-locator.c \
src/libpspp/msg-locator.h \
src/libpspp/pool.c \
nodist_src_libpspp_libpspp_la_SOURCES = src/libpspp/version.c
-src/libpspp/version.c: $(top_srcdir)/AUTHORS
+src/libpspp/version.c: $(top_srcdir)/AUTHORS Makefile
@$(MKDIR_P) src/libpspp
echo "/* -*- mode: c; buffer-read-only: t -*-" > $@
echo " Generated by src/libpspp/automake.mk --- Do not edit.">> $@