X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=7855ce1e9826e92c66de497f0b3d4b72edadcbb6;hb=944f383430e291f13aa73ab48ea736c96b944ef7;hp=3ca1187520fc4baebe45af5b51a37d1141a32618;hpb=a77c12af47a9ed94b5c38d4a762bb287bfadda93;p=pspp

diff --git a/Smake b/Smake
index 3ca1187520..7855ce1e98 100644
--- a/Smake
+++ b/Smake
@@ -104,6 +104,13 @@ all:
 	autoheader
 	automake --add-missing --copy --no-force
 
+gnulib:
+	$(GNULIB_TOOL) --add-import --no-changelog --m4-base=gl/m4 \
+		--source-base=gl --lib=libgl --tests-base=tests \
+		--doc-base=gl/doc --aux-dir=build-aux --import \
+		--libtool $(GNULIB_MODULES)
+
+
 gettextize:
 	test -d m4 || mkdir m4
 	touch m4/Makefile.am