X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=0c20643bbc71908cd818b1d1de81d9430ba40539;hb=1a35c8af6643fc1c7fa6e4b775282ff1bef8ed98;hp=aaaa45b40459d09cd121e05ecd170e5f15d0bcd0;hpb=5915fbdca0307fb20f05555885283b3dc3fbefa0;p=pspp-builds.git

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index aaaa45b4..0c20643b 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -23,10 +23,16 @@ src_libpspp_libpspp_la_SOURCES = \
 	src/libpspp/freaderror.h \
 	src/libpspp/getl.c \
 	src/libpspp/getl.h \
+	src/libpspp/hash-functions.c \
+	src/libpspp/hash-functions.h \
 	src/libpspp/hash.c \
 	src/libpspp/hash.h \
 	src/libpspp/heap.c \
 	src/libpspp/heap.h \
+	src/libpspp/hmap.c \
+	src/libpspp/hmap.h \
+	src/libpspp/hmapx.c \
+	src/libpspp/hmapx.h \
 	src/libpspp/i18n.c \
 	src/libpspp/i18n.h \
 	src/libpspp/integer-format.c \
@@ -41,8 +47,6 @@ 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 \