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 \