Implement model checker for testing purposes.

[pspp-builds.git] / Smake

diff --git a/Smake b/Smake
index c716bae0d48764ed12e0ea92fc132252aaacf902..21583c6d764c2591355aed8d919d7c589f5f905b 100644 (file)
--- a/Smake
+++ b/Smake
@@ -11,16 +11,19 @@ GNULIB_MODULES = \
        byteswap \
        c-ctype \
        c-strtod \
+       crypto/md4 \
        dirname \
        exit \
        fpieee \
        full-read \
        full-write \
+       fwriteerror \
        gethostname \
        getline \
        getlogin_r \
        getopt \
        gettext-h \
+       gettimeofday \
        intprops \
        inttostr \
        linebreak \