projects
/
pspp-builds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
model-checker: Kill dependencies and move back to libpspp.
[pspp-builds.git]
/
src
/
libpspp
/
automake.mk
diff --git
a/src/libpspp/automake.mk
b/src/libpspp/automake.mk
index dc512bb288907f59cc668e1ea989e8c7858f6916..1564569cb226e52878ea445fd7d094124efddd7f 100644
(file)
--- a/
src/libpspp/automake.mk
+++ b/
src/libpspp/automake.mk
@@
-47,6
+47,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 \