X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=1564569cb226e52878ea445fd7d094124efddd7f;hb=3db80dc65b18355b719e8d56032400c753aa4eb7;hp=0c20643bbc71908cd818b1d1de81d9430ba40539;hpb=015e221b0f8578afee769528572c76387f26c629;p=pspp-builds.git

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index 0c20643b..1564569c 100644
--- 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 \
@@ -75,10 +77,14 @@ src_libpspp_libpspp_la_CPPFLAGS = -I $(top_srcdir)/src/libpspp $(AM_CPPFLAGS)
 
 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. */">> $@
+	echo "   Generated by src/libpspp/automake.mk --- Do not edit.">> $@
+	echo "" >> $@
+	echo "   The following line is for the benefit of the perl module" >>$@
+	echo "\$$VERSION='"@VERSION@"';" >> $@
+	echo "*/" >> $@
 	echo "#include \"version.h\"" >> $@
 	echo "const char bare_version[] = \"@VERSION@\";" >> $@
 	echo "const char version[] = \"GNU @PACKAGE@ @VERSION@\";" >> $@