X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=492fa79798375b1df7f4a93ac23ec5f1259e0119;hb=3417680e253b1bfc4519347ef06536378026be2a;hp=404eb8a2f3968d9075872e51954fb37e8deaed36;hpb=c0240125a4702cccce5d4ea1d58d9e7f3d739dff;p=pspp

diff --git a/Smake b/Smake
index 404eb8a2f3..492fa79798 100644
--- a/Smake
+++ b/Smake
@@ -3,10 +3,18 @@
 GNULIB = ../gnulib
 GNULIB_TOOL = $(GNULIB)/gnulib-tool
 
+GNULIB_MODULES = alloca alloca-opt assert full-read full-write		\
+gethostname getline getlogin_r getopt gettext memchr memcmp memmem	\
+memmove memset progname readlink restrict snprintf stat-macros stdbool	\
+stpcpy strcase strcspn strerror strftime strstr strtod strtok_r strtol	\
+strtoul vsnprintf xalloc xalloc-die xreadlink
+
 all: po/POTFILES.in
 	test -d m4 || mkdir m4
 	touch m4/Makefile.am
-	$(GNULIB_TOOL) --import
+	$(GNULIB_TOOL) --import --no-changelog --m4-base=gl/m4 \
+		--source-base=gl --lib=libgl --tests-base=tests \
+		--import $(GNULIB_MODULES)
 	autoreconf --install
 
 gettextize:
@@ -22,6 +30,13 @@ po/POTFILES.in:
 	if test ! -e $@ || ! cmp -s $@.tmp $@; then mv $@.tmp $@; fi
 	rm -f $@.tmp
 
+check: all
+	rm -rf _check
+	mkdir _check
+	cd _check && ../configure $(CONFIGUREFLAGS)
+	cd _check && make distcheck
+	rm -rf _check
+
 PO_FILES = po/ChangeLog po/Makefile po/Makefile.in po/Makefile.in.in	\
 po/POTFILES po/POTFILES.in po/Rules-quot po/boldquot.sed		\
 po/cat-id-tbl.c po/en@boldquot.header po/en@quot.header			\