X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=dc512bb288907f59cc668e1ea989e8c7858f6916;hb=5d31af536467b5774fb04ebc998ef459e893f24c;hp=4a14382af9dd15628192693cdcf5fe492db8fb7d;hpb=c1e75ee809efd2f4bfd9ebcc1c2b0689c1da0e4c;p=pspp-builds.git

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index 4a14382a..dc512bb2 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -47,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 \
@@ -77,10 +75,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@\";" >> $@