X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=3e08647144bd6ccff4cfcc1327a9583af12ee096;hb=0d3402b7f5f8649a5f6da491c7da88a7a05d3d3a;hp=dc512bb288907f59cc668e1ea989e8c7858f6916;hpb=8953baa61127d6d3b91f763663ea647bf3e4e793;p=pspp-builds.git

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index dc512bb2..3e086471 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -6,6 +6,8 @@ noinst_LTLIBRARIES += src/libpspp/libpspp.la
 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 \
@@ -47,6 +49,8 @@ src_libpspp_libpspp_la_SOURCES = \
 	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 \